Login / Signup

Parameterization of (Partial) Maximum Satisfiability above Matching in a Variable-Clause Graph.

Vasily AlferovIvan BliznetsKirill Brilliantov
Published in: AAAI (2024)
Keyphrases
  • maximum satisfiability
  • boolean satisfiability
  • max sat
  • search space
  • boolean formula
  • cnf formula
  • learning algorithm
  • lower bound
  • branch and bound algorithm