Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit.

HoonSang Jin, HyoJung Han, Fabio Somenzi

Browse the full TACAS paper archive.