Minimal and Redundant SAT Encodings for the All-Interval-Series Problem
Loading...
Date
2002
Authors
Alsinet, Teresa
Béjar Torres, Ramón
Cabiscol i Teixidó, Alba
Fernàndez Camon, César
Manyà Serres, Felip
Other authors
Impact
Export
Share
Journal Title
Journal ISSN
Volume Title
Related resource
Citation
Journal or Serie
Lecture Notes in Computer Science, 2002, vol. 2504, p. 139-144