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
Ano de publicación: 2002
Volume: 2504
Páxinas: 139-144
Tipo: Achega congreso
ISSN: 0302-9743
ISBN: 9783540000112
Ano de publicación: 2002
Volume: 2504
Páxinas: 139-144
Tipo: Achega congreso