Certifying Unsatisfiability of Random 2k-SAT Formulas Using Approximation Techniques. - Amin Coja-Oghlan; Andreas Goerdt; André Lanka; Frank Schädlich (FCT, 2003)

Certifying Unsatisfiability of Random 2k-SAT Formulas using Approximation Techniques - Amin Coja-Oghlan; Andreas Goerdt; André Lanka; Frank Schädlich (Electron. Colloquium Comput. Complex., 2003)

Techniques from combinatorial approximation algorithms yield efficient algorithms for random 2k-SAT. - Amin Coja-Oghlan; Andreas Goerdt; André Lanka; Frank Schädlich (Theor. Comput. Sci., 2004)

Effizientes Verifizieren co-NP-vollständiger Probleme am Beispiel zufälliger 4-SAT-Formeln und uniformer Hypergraphen. - Frank Schädlich (2004)