Login / Signup

Reduced Cost Fixing for Maximum Satisfiability.

Fahiem BacchusAntti HyttinenMatti JärvisaloPaul Saikko
Published in: IJCAI (2018)
Keyphrases
  • maximum satisfiability
  • boolean satisfiability
  • max sat
  • metaheuristic
  • combinatorial problems
  • sat problem