Phase Transitions in Computational Complexity and Formal Verification – Towards Generic and Realistic Approaches

The project (2007-2009) proposes to develop the phase transition approach into a systematic theory, related to computational complexity, and to increase the practicality of the approach, by investigating phase transitions for instances with a regular structure, with a special focus on those arising from problems in formal verification.
Official project website: