Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems von Metodi, A., Codish, M., Stuckey, P. J.

Volltext

Solving Set Constraint Satisfaction Problems using ROBDDs von Hawkins, P. J., Lagoon, V., Stuckey, P. J.

Volltext

The CLP( ℛ ) language and system von Jaffar, Joxan, Michaylov, Spiro, Stuckey, Peter J., Yap, Roland H. C.

Volltext

Fast Set Bounds Propagation Using a BDD-SAT Hybrid von Gange, G., Stuckey, P. J., Lagoon, V.

Volltext

When do bounds and domain propagation lead to the same search space? von SCHULTE, Christian, STUCKEY, Peter J

Volltext

The island confinement method for reducing search space in local search methods von Fang, H., Kilani, Y., Lee, J. H. M., Stuckey, P. J.

Volltext

Finite domain bounds consistency revisited von CHOI, C. W, HARVEY, W, LEE, J. H. M, STUCKEY, P. J

Volltext

Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization von Bailey, James, Stuckey, Peter J.

Volltext

Principles and Practice of Constraint Programming: 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings von Hutchison, David, Kanade, Takeo, Kittler, Josef

Volltext

A Lagrangian reconstruction of GENET von Choi, Kenneth M.F., Lee, Jimmy H.M., Stuckey, Peter J.

Volltext

Logic Programming: 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings von Stuckey, Peter J

Volltext

A Hybrid Algorithm for the Examination Timetabling Problem von Merlot, Liam T. G., Boland, Natashia, Hughes, Barry D., Stuckey, Peter J.

Volltext

Checking modes of HAL programs von DE LA BANDA, MARIC GARCÍA, HARVEY, WARWICK, MARRIOTT, KIM, STUCKEY, PETER J., DEMOEN, BART

Volltext

Fast Node Overlap Removal von Dwyer, Tim, Marriott, Kim, Stuckey, Peter J.

Volltext

Compiling constraint solving using projection von Harvey, Warwick, Stuckey, Peter J., Borning, Alan

Volltext

Bottom-up evaluation and query optimization of well-founded models von Kemp, David B., Srivastava, Divesh, Stuckey, Peter J.

Volltext

Testing for Termination with Monotonicity Constraints von Codish, Michael, Lagoon, Vitaly, Stuckey, Peter J.

Volltext

Solving Set Constraint Satisfaction Problems using ROBDDs von Hawkins, P J, Lagoon, V, Stuckey, P J

Volltext

The refined operational semantics of constraint Handling Rules von DUCK, Gregory J, STUCKEY, Peter J, GARCIA DE LA BANDA, Maria, HOLZBAUR, Christian

Volltext

A theory of overloading von STUCKEY, Peter J, SULZMANN, Martin

Volltext