1. Cheeseman, P., Kanefsky, B., Taylor, W.M.: Where the Really Hard Problems Are. In: Proc. IJCAI 1991, pp. 331–340. Morgan Kaufmann Publishers, Inc., San Francisco (1991)
2. Achlioptas, D., Naor, A., Peres, Y.: Rigorous location of phase transitions in hard optimization problems. Nature 435, 759–764 (2005)
3. Darwiche, A., Marquis, P.: A Knowledge Compilation Map. J. Artif. Intell. Res. 17, 229–264 (2002)
4. Schrag, R., Crawford, J.M.: Implicates and prime implicates in Random 3-SAT. Artificial Intelligence 81, 199–222 (1996)
5. Darwiche, A.: A Compiler for Deterministic, Decomposable Negation Normal Form. In: Proc. AAAI/IAAI 2002, pp. 627–634. AAAI Press, Menlo Park (2002)