Login / Signup

Short Boolean Formulas as Explanations in Practice.

Reijo JaakkolaTomi JanhunenAntti KuusistoMasood Feyzbakhsh RankoohMiikka Vilander
Published in: CoRR (2023)
Keyphrases
  • boolean formula
  • unsatisfiable cores
  • np complete
  • orders of magnitude
  • linear constraints