On a generalization of extended resolution
| Author(s) : | Fachbereich Mathematik Johann Wolfgang Goethe-universitat O. Kullmann, |
| Publisher : | N/A |
| Publication Date : | 1999 |
| ISSN : | N/A |
| Abstract : | Motivated by improved SAT algorithms ([13, 14, 15]; yielding new worst case upper bounds) a natural parameterized generalization GER of Extended Resolution (ER) is introduced. ER can simulate polynomially GER, but GER allows special cases for which exponential, |