Login / Signup

UWrMaxSat: Efficient Solver for MaxSAT and Pseudo-Boolean Problems.

Marek Piotrów
Published in: ICTAI (2020)
Keyphrases
  • pseudo boolean
  • integer linear programming
  • combinatorial problems
  • combinatorial optimization
  • optimization problems
  • combinatorial optimization problems
  • exact solution
  • pseudo boolean constraints