Justifying All Differences Using Pseudo-Boolean Reasoning.

Jan Elffers Stephan Gocht Ciaran McCreesh Jakob Nordström

Published in: AAAI (2020)

Keyphrases

pseudo boolean
pseudo boolean constraints
automated reasoning
integer linear programming
symmetry breaking
knowledge representation
combinatorial problems
propositional satisfiability
boolean optimization
knowledge base
logic programming
probabilistic reasoning