1. Flemming, U., et al.: Hierarchical Generate and Test vs. Constraint-Directed Search - A Comparison in the Context of Layout Synthesis published in Artificial Intelligence in Design. Kluwer Academic Publishers, Dordrecht (1992)
2. Michalek, J.J., et al.: Architectural Layout Design Optimization, Engineering Optimization. Taylor & Francis, UK (2002)
3. Cook, S.A.: The Complexity of Theorem-proving Procedures. In: Proceedings of the Third Annual ACM Symposium on theory of Computing, ACM Press, New York (1971)
4. Een, N., Sorensson, N.: An Extensible SAT solver. In: Satisfiability Workshop (2003)
5. Pipatsrisawat, K., Darwiche, A.: RSat 2.0: SAT Solver Description, Technical report D153, Automated Reasoning Group. Computer Science, Los Angeles (2007)