On the Use of CSP Semantic Information in SAT Models
Research in Computing Science
doi 10.13053/rcs-148-11-10
Full Text
Open PDFAbstract
Available in full text
Date
December 31, 2019
Authors
Publisher
Instituto Politecnico Nacional/Centro de Investigacion en Computacion