Gaussian Elimination Meets Maximum Satisfiability.

Mate Soos Kuldeep S. Meel

Published in: KR (2021)

Keyphrases

maximum satisfiability
boolean satisfiability
max sat
combinatorial problems
sat problem
phase transition
learning algorithm
special case
randomly generated
probabilistic planning