Th QuoteRef: harvW10

QuoteRef: harvW10_1997

topics > all references > ThesaHelp: references g-h

ThesaHelp:
references g-h
Topic:
constraints

Reference

Harvey, W., Stuckey, P.J., Borning, A., "Compiling constraint solving using projection", in Smolka, G. (ed.), Principles and Practice of Constraint Programming -- CP 97, Linz, Austria, October/November 1997, Springer, LNCS 1330, pp. 491-501. Google

Quotations

492 ;;Quote: algorithm to compile straight-line code to solve a system constraints; convert constraints to hierarchical normal form; for equality, inequality, boolean, integer linear, and partial order constraints

Related Topics

ThesaHelp: references g-h (299 items)
Topic: constraints (35 items)