共 50 条
- [23] Satisfiability, Branch-Width and Tseitin tautologies computational complexity, 2011, 20 : 649 - 678
- [25] Satisfiability, branch-width and Tseitin tautologies FOCS 2002: 43RD ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2002, : 593 - 603