B
Barry O'Sullivan
Researcher at University College Cork
Publications - 324
Citations - 3966
Barry O'Sullivan is an academic researcher from University College Cork. The author has contributed to research in topics: Constraint programming & Constraint satisfaction problem. The author has an hindex of 29, co-authored 312 publications receiving 3610 citations. Previous affiliations of Barry O'Sullivan include Brown University & National University of Ireland.
Papers
More filters
Proceedings Article
A hybrid approach to domino portrait generation
TL;DR: Combining techniques from computer vision and local search, this work can improve the domino portraits generated most often using integer linear programming techniques to be visually indistinguishable from those generated optimally.
Book ChapterDOI
ICON Loop Carpooling Show Case
TL;DR: A proactive carpooling service that combines induction and optimization mechanisms to maximize the impact of carpools within a community is described, forming an instance of the general ICON loop.
Book ChapterDOI
Teacher and learner profiles for constraint acquisition
TL;DR: Interactive constraint acquisition is viewed as the process of learning constraints from examples and the role the user has to play during an interactive session and it is demonstrated that the ability of the teacher and that of the learner has an impact on the acquisition process.
Optimising the representation and evaluation of semiring combination constraints
Jerome Kelleher,Barry O'Sullivan +1 more
TL;DR: In this article, soft constraints are used to capture notions such as vagueness, uncertainty and cost in the CSP model, and soft constraints alleviate many of the restrictions imposed by classical constraint satisfaction.
Journal ArticleDOI
Generation and Prediction of Difficult Model Counting Instances
TL;DR: In this article , the authors present a model counting instance generator that is parameterizable: the number of variables of the instances it produces, as well as their number of clauses and the number literals in each clause, can all be set to any value.