Short Boolean Formulas as Explanations in Practice.

Reijo Jaakkola Tomi Janhunen Antti Kuusisto Masood Feyzbakhsh Rankooh Miikka Vilander

Published in: JELIA (2023)

Keyphrases

boolean formula
linear constraints
optimal solution
upper bound
sat solvers
membership queries
conjunctive normal form