Minimal and redundant SAT encodings for the all-interval-series problem

  1. Alsinet, T.
  2. Béjar, R.
  3. Cabiscol, A.
  4. Fernàndez, C.
  5. Manyà, F.
Actas:
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

ISSN: 0302-9743

ISBN: 9783540000112

Año de publicación: 2002

Volumen: 2504

Páginas: 139-144

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: Scopus