conftrace_

integer coefficient

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

conflict analysis (1) pseudo-boolean solving (1) conflict-driven clause learning (1) sat solver (1)

Papers

Divide and Conquer: Towards Faster Pseudo-Boolean Solving IJCAI 2018