Analysis of Computing Policies Using SAT Solvers (Short Paper).

Marijn J. H. Heule Rezwana Reaz Hrishikesh B. Acharya Mohamed G. Gouda

Published in: SSS (2016)

Keyphrases

sat solvers
constraint satisfaction
max sat