Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà. Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT. Multiple-Valued Logic and Soft Computing, 19(1-3):3-23, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.