conftrace_

pseudo-boolean reasoning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

proof logging (1) alldifferent constraint (1) constraint programming (1) automated reasoning (1) combinatorial optimization (1)

Papers

Justifying All Differences Using Pseudo-Boolean Reasoning AAAI 2020