Minimal and Redundant SAT Encodings for the All-Interval-Series Problem.

Teresa Alsinet Ramón Béjar Alba Cabiscol Cèsar Fernández Felip Manyà

Published in: CCIA (2002)

Keyphrases

sat encodings
sat solvers
constraint satisfaction problems
linear arithmetic constraints
information retrieval systems
combinatorial problems
upper bound
optimization algorithm