Local Backbones

Theory and Applications of Satisfiability Testing – SAT 2013 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39071-5_28 ◽

2013 ◽

pp. 377-393 ◽

Author(s):

Ronald de Haan ◽

Iyad Kanj ◽

Stefan Szeider

Download Full-text