Map
Index
Random
Help
th

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 up

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

Collected barberCB 3/03
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.