Complete Local Search for Propositional Satisfiability. Fang, H. & Ruml, W. In McGuinness, D. L. & Ferguson, G., editors, AAAI, pages 161-166, 2004. AAAI Press / The MIT Press. Link Paper bibtex @inproceedings{conf/aaai/FangR04,
added-at = {2012-12-11T00:00:00.000+0100},
author = {Fang, Hai and Ruml, Wheeler},
biburl = {https://www.bibsonomy.org/bibtex/284fc669df31777ac47d9b425f5a42e1f/dblp},
booktitle = {AAAI},
crossref = {conf/aaai/2004},
editor = {McGuinness, Deborah L. and Ferguson, George},
ee = {http://www.aaai.org/Library/AAAI/2004/aaai04-026.php},
interhash = {65d5366b53cf926bbf07de001e292933},
intrahash = {84fc669df31777ac47d9b425f5a42e1f},
isbn = {0-262-51183-5},
keywords = {dblp},
pages = {161-166},
publisher = {AAAI Press / The MIT Press},
timestamp = {2012-12-12T11:50:01.000+0100},
title = {Complete Local Search for Propositional Satisfiability.},
url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2004.html#FangR04},
year = 2004
}
Downloads: 0
{"_id":"DMfzkPzqJret3kE5Y","bibbaseid":"fang-ruml-completelocalsearchforpropositionalsatisfiability-2004","downloads":0,"creationDate":"2018-07-10T13:30:16.311Z","title":"Complete Local Search for Propositional Satisfiability.","author_short":["Fang, H.","Ruml, W."],"year":2004,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/wheeler?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2012-12-11T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Fang"],"firstnames":["Hai"],"suffixes":[]},{"propositions":[],"lastnames":["Ruml"],"firstnames":["Wheeler"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/284fc669df31777ac47d9b425f5a42e1f/dblp","booktitle":"AAAI","crossref":"conf/aaai/2004","editor":[{"propositions":[],"lastnames":["McGuinness"],"firstnames":["Deborah","L."],"suffixes":[]},{"propositions":[],"lastnames":["Ferguson"],"firstnames":["George"],"suffixes":[]}],"ee":"http://www.aaai.org/Library/AAAI/2004/aaai04-026.php","interhash":"65d5366b53cf926bbf07de001e292933","intrahash":"84fc669df31777ac47d9b425f5a42e1f","isbn":"0-262-51183-5","keywords":"dblp","pages":"161-166","publisher":"AAAI Press / The MIT Press","timestamp":"2012-12-12T11:50:01.000+0100","title":"Complete Local Search for Propositional Satisfiability.","url":"http://dblp.uni-trier.de/db/conf/aaai/aaai2004.html#FangR04","year":"2004","bibtex":"@inproceedings{conf/aaai/FangR04,\n added-at = {2012-12-11T00:00:00.000+0100},\n author = {Fang, Hai and Ruml, Wheeler},\n biburl = {https://www.bibsonomy.org/bibtex/284fc669df31777ac47d9b425f5a42e1f/dblp},\n booktitle = {AAAI},\n crossref = {conf/aaai/2004},\n editor = {McGuinness, Deborah L. and Ferguson, George},\n ee = {http://www.aaai.org/Library/AAAI/2004/aaai04-026.php},\n interhash = {65d5366b53cf926bbf07de001e292933},\n intrahash = {84fc669df31777ac47d9b425f5a42e1f},\n isbn = {0-262-51183-5},\n keywords = {dblp},\n pages = {161-166},\n publisher = {AAAI Press / The MIT Press},\n timestamp = {2012-12-12T11:50:01.000+0100},\n title = {Complete Local Search for Propositional Satisfiability.},\n url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2004.html#FangR04},\n year = 2004\n}\n\n","author_short":["Fang, H.","Ruml, W."],"editor_short":["McGuinness, D. L.","Ferguson, G."],"key":"conf/aaai/FangR04","id":"conf/aaai/FangR04","bibbaseid":"fang-ruml-completelocalsearchforpropositionalsatisfiability-2004","role":"author","urls":{"Link":"http://www.aaai.org/Library/AAAI/2004/aaai04-026.php","Paper":"http://dblp.uni-trier.de/db/conf/aaai/aaai2004.html#FangR04"},"keyword":["dblp"],"downloads":0},"search_terms":["complete","local","search","propositional","satisfiability","fang","ruml"],"keywords":["dblp"],"authorIDs":[],"dataSources":["9ByL5wSiKDQZu3sWd"]}