Login / Signup
A declarative approach to robust weighted Max-SAT.
Miquel Bofill
Dídac Busquets
Mateu Villaret
Published in:
PPDP (2010)
Keyphrases
</>
weighted max sat
max sat
genetic algorithm
knowledge base
special case
linear programming
orders of magnitude