Unifying SAT-Based Approaches to Maximum Satisfiability Solving.

Hannes Ihalainen Jeremias Berg Matti Järvisalo

Published in: J. Artif. Intell. Res. (2024)

Keyphrases

boolean satisfiability
search algorithm
maximum satisfiability
state space
scheduling problem
max sat