Propositional search with k-clause introduction can be polynomially simulated by resolution (1998)
by
Allen Van Gelder
| Venue: | In Fifth International Symposium on Artificial Intelligence and Mathematics |
| Citations: | 1 - 0 self |
BibTeX
@INPROCEEDINGS{Gelder98propositionalsearch,
author = {Allen Van Gelder},
title = {Propositional search with k-clause introduction can be polynomially simulated by resolution},
booktitle = {In Fifth International Symposium on Artificial Intelligence and Mathematics},
year = {1998}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
No citations identified.
