%0 Conference Paper %1 conf/aaai/JainSS11 %A Jain, Siddhartha %A Sabharwal, Ashish %A Sellmann, Meinolf %B AAAI %D 2011 %E Burgard, Wolfram %E Roth, Dan %I AAAI Press %K dblp %P 48-53 %T A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2011.html#JainSS11

@inproceedings{conf/aaai/JainSS11, added-at = {2023-09-04T00:00:00.000+0200}, author = {Jain, Siddhartha and Sabharwal, Ashish and Sellmann, Meinolf}, biburl = {https://www.bibsonomy.org/bibtex/2e996df23e7882aca87bc65fc864ff42c/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2011}, editor = {Burgard, Wolfram and Roth, Dan}, ee = {https://doi.org/10.1609/aaai.v25i1.7824}, interhash = {f8928c1dcbb4be4760660d72bf9c14cf}, intrahash = {e996df23e7882aca87bc65fc864ff42c}, keywords = {dblp}, pages = {48-53}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:00:30.000+0200}, title = {A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2011.html#JainSS11}, year = 2011 }