Login / Signup

Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations.

Emma RollonJavier Larrosa
Published in: J. Log. Comput. (2022)
Keyphrases
  • theorem prover
  • search algorithm
  • computational complexity
  • worst case
  • decision problems
  • theorem proving
  • description logics
  • sat solving
  • proof search
  • lower bound
  • np complete
  • sat solvers
  • space complexity
  • max sat