Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings. Biere, A. & Gomes, C. P., editors Volume 4121of Lecture Notes in Computer ScienceSpringer. 2006. Paper doi bibtex @proceedings{DBLP:conf/sat/2006,
editor = {Armin Biere and
Carla P. Gomes},
title = {Theory and Applications of Satisfiability Testing - {SAT} 2006, 9th
International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4121},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814948},
doi = {10.1007/11814948},
isbn = {3-540-37206-7},
timestamp = {Fri, 02 Jun 2017 10:15:29 +0200},
biburl = {https://dblp.org/rec/bib/conf/sat/2006},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":{"_str":"51feb6f053844bdb3c0001b7"},"__v":11,"authorIDs":["54593b80b43425b7720003cb","5480eb82a29145d03f001127"],"author_short":null,"bibbaseid":"biere-gomes-theoryandapplicationsofsatisfiabilitytestingsat20069thinternationalconferenceseattlewausaaugust12152006proceedings-2006","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Armin"],"propositions":[],"lastnames":["Biere"],"suffixes":[]},{"firstnames":["Carla","P."],"propositions":[],"lastnames":["Gomes"],"suffixes":[]}],"title":"Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings","series":"Lecture Notes in Computer Science","volume":"4121","publisher":"Springer","year":"2006","url":"https://doi.org/10.1007/11814948","doi":"10.1007/11814948","isbn":"3-540-37206-7","timestamp":"Fri, 02 Jun 2017 10:15:29 +0200","biburl":"https://dblp.org/rec/bib/conf/sat/2006","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/sat/2006,\n editor = {Armin Biere and\n Carla P. Gomes},\n title = {Theory and Applications of Satisfiability Testing - {SAT} 2006, 9th\n International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {4121},\n publisher = {Springer},\n year = {2006},\n url = {https://doi.org/10.1007/11814948},\n doi = {10.1007/11814948},\n isbn = {3-540-37206-7},\n timestamp = {Fri, 02 Jun 2017 10:15:29 +0200},\n biburl = {https://dblp.org/rec/bib/conf/sat/2006},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Biere, A.","Gomes, C. P."],"key":"DBLP:conf/sat/2006","id":"DBLP:conf/sat/2006","bibbaseid":"biere-gomes-theoryandapplicationsofsatisfiabilitytestingsat20069thinternationalconferenceseattlewausaaugust12152006proceedings-2006","role":"editor","urls":{"Paper":"https://doi.org/10.1007/11814948"},"downloads":0,"html":""},"bibtype":"proceedings","biburl":"https://dblp.uni-trier.de/pers/tb2/b/Bacchus:Fahiem.bib","downloads":0,"keywords":[],"search_terms":["theory","applications","satisfiability","testing","sat","2006","9th","international","conference","seattle","usa","august","2006","proceedings"],"title":"Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings","title_words":["2006","theory","applications","satisfiability","testing","sat","9th","international","conference","seattle","usa","august","proceedings"],"year":2006,"dataSources":["L7FwLJNW79ppLAh58"]}