Login / Signup

Polynomial Calculus for MaxSAT.

Ilario BonacinaMaria Luisa BonetJordi Levy
Published in: SAT (2023)
Keyphrases
  • upper bound
  • automated deduction
  • combinatorial optimization
  • branch and bound algorithm
  • sat solvers
  • low order
  • computational complexity
  • higher order
  • description logics
  • real numbers
  • computer algebra