Sugar Order encoding Max-CSP .

First Page		Document Content
Date: 2008-09-23 02:22:35 Formal methods Applied mathematics Electronic design automation Logic in computer science NP-complete problems Theoretical computer science Differential equation Constraint programming		Sugar Order encoding Max-CSP . Add to Reading List Source URL: www.cril.univ-artois.fr Download Document from Source Website File Size: 103,54 KB Share Document on Facebook