Login / Signup

Restoring Satisfiability or Maintaining Unsatisfiability by finding small Unsatisfiable Subformulae.

Renato BruniAntonio Sassano
Published in: Electron. Notes Discret. Math. (2001)
Keyphrases
  • cnf formula
  • propositional formulas
  • phase transition
  • np complete
  • propositional logic
  • satisfiability problem
  • small number
  • stochastic local search
  • database
  • data sets
  • computational complexity
  • max sat