A Polly Cracker System Based on Satisfiability
2004 ◽
pp. 177-192
◽