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
Journal ArticleDOI
Interactive constraint-aided conceptual design
TL;DR: A computational reasoning environment based on constraint filtering is proposed as the basis of an interactive design support tool that human designers can be assisted in interactively developing and evaluating a set of schemes that satisfy the various constraints imposed on the design.
Book ChapterDOI
Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem
TL;DR: This paper uses the Instance Specific Algorithm Configuration (ISAC) methodology, where a clustering of the instances is maintained in an offline phase and the parameters of the LNS are automatically tuned for each cluster, to solve the machine reassignment problem.
Book ChapterDOI
Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract)
Igor Razgon,Barry O'Sullivan +1 more
TL;DR: This work proposes an algorithm that solves the problem of removing at most kclauses so that the resulting 2-cnf formula is satisfiable and shows that this problem is fixed-parameter tractable.
Book ChapterDOI
Propagating the bin packing constraint using linear programming
TL;DR: This work compares two linear continuous relaxations of the bin packing problem, based on the DP-flow and Arc-flow models, with the filtering of the Bin packing constraint.
Proceedings Article
Distance constraints in constraint satisfaction
TL;DR: This work shows how to reason about logical combinations of distance constraints on ideals and non-ideals using a novel global constraint to solve randomly generated configuration problem instances.