60

Symmetries, almost symmetries, and lazy clause generation

Year:
2014
Language:
english
File:
PDF, 1.62 MB
english, 2014
66

Redundant disequalities in the Latin Square problem

Year:
2013
Language:
english
File:
PDF, 292 KB
english, 2013
70

Dynamic Programming to Minimize the Maximum Number of Open Stacks

Year:
2007
Language:
english
File:
PDF, 276 KB
english, 2007
76

Exploiting subproblem dominance in constraint programming

Year:
2012
Language:
english
File:
PDF, 728 KB
english, 2012
81

Lightweight dynamic symmetry breaking

Year:
2014
Language:
english
File:
PDF, 1.64 MB
english, 2014
83

Improving PARMA trailing

Year:
2006
Language:
english
File:
PDF, 292 KB
english, 2006
94

The Design of the Zinc Modelling Language

Year:
2008
Language:
english
File:
PDF, 733 KB
english, 2008