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
Argitalpen urtea: 2002
Alea: 2504
Orrialdeak: 139-144
Mota: Biltzar ekarpena
Aktak:
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)