BEACON: An Efficient SAT-Based Tool for Debugging

M. Fareed Arif, Carlos Menca, Alexey Ignatiev, Norbert Manthey, Rafael Pealoza, Joo Marques-Silva

Browse the full SAT paper archive.