Essence: A constraint language for specifying combinatorial problems von Frisch, Alan M., Harvey, Warwick, Jefferson, Chris, Martínez-Hernández, Bernadette, Miguel, Ian

Volltext

Computing two-dimensional integer hulls von HARVEY, W

Volltext

Solving the MOLR and Social Golfers Problems von Harvey, Warwick, Winterer, Thorsten

Volltext

Improving linear constraint propagation by changing constraint representation von HARVEY, Warwick, STUCKEY, Peter J

Volltext

Herbrand constraints in HAL von DEMOENL, Bart, DE LA BANDA, Maria Garcia, HARVEY, Warwick, MARRIOTT, Kim, OVERTON, David, STUCKEY, Peter J

Volltext

ESSENCE : A constraint language for specifying combinatorial problems: Special Issue on Abstraction and Automation in Constraint Modelling von FRISCH, Alan M, HARVEY, Warwick, JEFFERSON, Chris, MARTINEZ-HERNANDEZ, Bernadette, MIGUEL, Ian

Volltext

Generic SBDD Using Computational Group Theory von Gent, Ian P., Harvey, Warwick, Kelsey, Tom, Linton, Steve

Volltext

On benchmarking constraint logic programming platforms. Response to Fernandez and Hill's A comparative study of eight constraint programming languages over the Boolean and finite d... von WALLACE, Mark, SCHIMPF, Joachim, SHEN, Kish, HARVEY, Warwick

Volltext

Three dimensional sphere puzzle with push in and lock pieces von HARVEY, WARWICK

Volltext bestellen

Fourier elimination for compiling constraint hierarchies von HARVEY, Warwick, STUCKEY, Peter J, BORNING, Alan

Volltext

Groups and Constraints: Symmetry Breaking during Search von Gent, Ian P., Harvey, Warwick, Kelsey, Tom

Volltext

Heuristic constraint propagation von SELLMANN, Meinolf, HARVEY, Warwick

Volltext

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

Volltext

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

Volltext

A 3D PUZZLE WITH RELEASABLE LATCH MECHANISM von HARVEY, WARWICK MCARTHUR

Volltext bestellen

A 3D PUZZLE WITH RELEASABLE LATCH MECHANISM von HARVEY, WARWICK MCARTHUR

Volltext bestellen

An Overview of HAL von Demoen, Bart, de la Banda, Maria García, Harvey, Warwick, Marriott, Kim, Stuckey, Peter

Volltext

Herbrand Constraints in HAL von Demoen, Bart, de la Banda, María García, Harvey, Warwick, Marriott, Kim, Overton, David, Stuckey, Peter J.

Volltext

Constraint Representation for Propagation von Harvey, Warwick, Stuckey, Peter J.

Volltext

Mode Checking in HAL von de la Banda, María García, Stuckey, Peter J., Harvey, Warwick, Marriott, Kim

Volltext