79 citations · 114 across the 23 of their papers we have counts for
3 papers · 1 filter
Faster Symmetry Breaking Constraints for Abstract Structures
Özgür Akgün, Mun See Chang, Ian P. Gent +1
In constraint programming and related paradigms, a modeller specifies their problem in a modelling language for a solver to search and return its solution(s). Using high-level mode…
Diverse Planning with Simulators via Linear Temporal Logic
Mustafa F. Abdelwahed, Alice Toniolo, Joan Espasa +1
Autonomous agents rely on automated planning algorithms to achieve their objectives. Simulation-based planning offers a significant advantage over declarative models in modelling c…
Breaking the Symmetries of Indistinguishable Objects
Ozgur Akgun, Mun See Chang, Ian P. Gent +1
Indistinguishable objects often occur when modelling problems in constraint programming, as well as in other related paradigms. They occur when objects can be viewed as being drawn…