Sign in

Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT.

Tobias PaxianSven ReimerBernd Becker
Published in: SAT (2018)
Keyphrases
  • combinatorial optimization
  • dynamic environments
  • pseudo boolean
  • upper bound
  • weighted sum
  • integer linear programming
  • boolean optimization
  • case study
  • multiresolution
  • mobile robot
  • exact solution