Solving Constraints for Generational Search

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38916-0_12 ◽

2013 ◽

pp. 197-213

Author(s):

Daniel Pötzl ◽

Andreas Holzer

Download Full-text