Minimal and redundant SAT encodings for the all-interval-series problem
- Alsinet, T.
- Béjar, R.
- Cabiscol, A.
- Fernàndez, C.
- Manyà, F.
ISSN: 0302-9743
ISBN: 9783540000112
Year of publication: 2002
Volume: 2504
Pages: 139-144
Type: Conference paper
Proceedings:
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)