TY - BOOK ID - 6205057 TI - Principles and practice of constraint programming: the Newport papers AU - Saraswat, Vijay A. AU - Kanellakis, Paris Christos AU - Van Hentenryck, Pascal PY - 1995 SN - 0262193612 9780262193610 PB - Cambridge (Mass.): MIT Press, DB - UniCat KW - Constraint programming (Computer science) KW - -Congresses KW - -681.3*G16 KW - 681.3*G21 KW - 681.3*I23 KW - Congresses KW - Optimization: constrained optimization; gradient methods; integer programming; least squares methods; linear programming; nonlinear programming (Numericalanalysis) KW - Combinatorics: combinatorial algorithms; counting problems; generating functions; permutations and combinations; recurrences and difference equations KW - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) KW - 681.3*G21 Combinatorics: combinatorial algorithms; counting problems; generating functions; permutations and combinations; recurrences and difference equations KW - 681.3*G16 Optimization: constrained optimization; gradient methods; integer programming; least squares methods; linear programming; nonlinear programming (Numericalanalysis) KW - 681.3*G16 KW - Constraint programming (Computer science) - - Congresses KW - -Constraint programming (Computer science) KW - -Constraint programming (Computer science) - UR - https://www.unicat.be/uniCat?func=search&query=sysid:6205057 AB - ER -