Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT.

Tobias Paxian Sven Reimer Bernd 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