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.
Actes de conférence:
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

ISSN: 0302-9743

ISBN: 9783540000112

Année de publication: 2002

Volumen: 2504

Pages: 139-144

Type: Communication dans un congrès

GOOGLE SCHOLAR
La source de données: Scopus