%0 Conference Paper %1 conf/aaai/HertelBPG08 %A Hertel, Philipp %A Bacchus, Fahiem %A Pitassi, Toniann %A Gelder, Allen Van %B AAAI %D 2008 %E Fox, Dieter %E Gomes, Carla P. %I AAAI Press %K dblp %P 283-290 %T Clause Learning Can Effectively P-Simulate General Propositional Resolution. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2008.html#HertelBPG08 %@ 978-1-57735-368-3

@inproceedings{conf/aaai/HertelBPG08, added-at = {2023-09-05T00:00:00.000+0200}, author = {Hertel, Philipp and Bacchus, Fahiem and Pitassi, Toniann and Gelder, Allen Van}, biburl = {https://www.bibsonomy.org/bibtex/2ed0d09a37b0f5f3603a128f0880a0c34/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2008}, editor = {Fox, Dieter and Gomes, Carla P.}, ee = {http://www.aaai.org/Library/AAAI/2008/aaai08-045.php}, interhash = {980639b3be476faac3b3386ca85bd3a4}, intrahash = {ed0d09a37b0f5f3603a128f0880a0c34}, isbn = {978-1-57735-368-3}, keywords = {dblp}, pages = {283-290}, publisher = {AAAI Press}, timestamp = {2024-04-10T17:37:26.000+0200}, title = {Clause Learning Can Effectively P-Simulate General Propositional Resolution.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2008.html#HertelBPG08}, year = 2008 }