|
|||||
|
|
Generating hard tautologies using predicate logic and the symmetric group |
|
| Authors: | Riis, S Sitharam, M |
| Affiliation: | Z The International PhD Research School at BRICS, Aarhus, Denmark E-mail: smriis@brics.dk ZZ CISE Department, University of Florida, Gainesville, FL, USA E-mail: sitharam@cise.ufl.edu |
| Abstract: | |
| Keywords: | satisfiability propositional proofs logic finite models representation theory algebraic proof complexity complexity theory |
| 本文献已被 Oxford 等数据库收录！ | |