Decomposing SAT Instances with Pseudo Backbones

Evolutionary Computation in Combinatorial Optimization - Lecture Notes in Computer Science ◽

10.1007/978-3-319-55453-2_6 ◽

2017 ◽

pp. 75-90 ◽

Author(s):

Wenxiang Chen ◽

Darrell Whitley

Download Full-text