共 50 条
- [4] Certifying Large Branch-width PROCEEDINGS OF THE SEVENTHEENTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 2006, : 810 - +
- [6] From a Circular-Arc Model to a Proper Circular-Arc Model GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 2008, 5344 : 324 - 335
- [7] Satisfiability, Branch-Width and Tseitin tautologies computational complexity, 2011, 20 : 649 - 678
- [9] Satisfiability, branch-width and Tseitin tautologies FOCS 2002: 43RD ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2002, : 593 - 603