A Little Blocked Literal Goes a Long Way

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

10.1007/978-3-319-66263-3_18 ◽

2017 ◽

pp. 281-297 ◽

Cited By ~ 5

Author(s):

Benjamin Kiesl ◽

Marijn J. H. Heule ◽

Martina Seidl

Download Full-text