no code implementations • 14 May 2014 • Rehan Abdul Aziz, Geoffrey Chu, Peter James Stuckey
Next, we extend the bottom-up grounding technique and magic set transformation used by ASP to BFASP programs.
no code implementations • 4 Feb 2014 • Amit Metodi, Michael Codish, Peter James Stuckey
We introduce a tool called BEE (Ben-Gurion Equi-propagation Encoder) based on these ideas and demonstrate for a variety of benchmarks that our approach leads to a considerable reduction in the size of CNF encodings and subsequent speed-ups in SAT solving times.
no code implementations • 16 Jan 2014 • Graeme Gange, Peter James Stuckey, Vitaly Lagoon
Binary Decision Diagram (BDD) based set bounds propagation is a powerful approach to solving set-constraint satisfaction problems.