Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers. Lonsing, F. & Biere, A. Electr. Notes Theor. Comput. Sci., 251:83-95, 2009.
Link bibtex @article{ DBLP:journals/entcs/LonsingB09,
author = {Florian Lonsing and Armin Biere},
title = {Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers},
journal = {Electr. Notes Theor. Comput. Sci.},
pages = {83-95},
volume = {251},
ee = {http://dx.doi.org/10.1016/j.entcs.2009.08.029} ,
year = {2009}
}
Downloads: 0
{"_id":{"_str":"520982e8a9e4b91d2f0002e5"},"__v":13,"authorIDs":["54593b80b43425b7720003cb","54994dd28e3bca5f37000215"],"author_short":["Lonsing, F.","Biere, A."],"bibbaseid":"lonsing-biere-efficientlyrepresentingexistentialdependencysetsforexpansionbasedqbfsolvers-2009","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Florian"],"propositions":[],"lastnames":["Lonsing"],"suffixes":[]},{"firstnames":["Armin"],"propositions":[],"lastnames":["Biere"],"suffixes":[]}],"title":"Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers","journal":"Electr. Notes Theor. Comput. Sci.","pages":"83-95","volume":"251","ee":"http://dx.doi.org/10.1016/j.entcs.2009.08.029","year":"2009","bibtex":"@article{ DBLP:journals/entcs/LonsingB09,\n author = {Florian Lonsing and Armin Biere},\n title = {Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers},\n journal = {Electr. Notes Theor. Comput. Sci.},\n pages = {83-95},\n volume = {251},\n ee = {http://dx.doi.org/10.1016/j.entcs.2009.08.029} ,\n year = {2009}\n}\n\n\n","author_short":["Lonsing, F.","Biere, A."],"key":"DBLP:journals/entcs/LonsingB09","id":"DBLP:journals/entcs/LonsingB09","bibbaseid":"lonsing-biere-efficientlyrepresentingexistentialdependencysetsforexpansionbasedqbfsolvers-2009","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/j.entcs.2009.08.029"},"downloads":0},"bibtype":"article","biburl":"http://data.bibbase.org/author/florian-lonsing/?format=bibtex","downloads":0,"keywords":[],"search_terms":["efficiently","representing","existential","dependency","sets","expansion","based","qbf","solvers","lonsing","biere"],"title":"Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers","title_words":["efficiently","representing","existential","dependency","sets","expansion","based","qbf","solvers"],"year":2009,"dataSources":["3nrQRyBrTAqGRsPEa"]}