Login / Signup

A declarative approach to robust weighted Max-SAT.

Miquel BofillDídac BusquetsMateu Villaret
Published in: PPDP (2010)
Keyphrases
  • weighted max sat
  • max sat
  • genetic algorithm
  • knowledge base
  • special case
  • linear programming
  • orders of magnitude