From Crossing-Free Resolution to Max-SAT Resolution.

Mohamed Sami Cherif Djamal Habet Matthieu Py

Published in: CP (2022)

Keyphrases

max sat
branch and bound algorithm
data structure
sat solvers