%0 Conference Paper %1 journals/entcs/LonsingB09 %A Lonsing, Florian %A Biere, Armin %B MEMICS %D 2008 %E Ceska, Milan %E Kotásek, Zdenek %E Kretínský, Mojmír %E Matyska, Ludek %E Vojnar, Tomás %I Elsevier %K dblp %P 83-95 %T Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers. %U http://dblp.uni-trier.de/db/journals/entcs/entcs251.html#LonsingB09 %V 251

@inproceedings{journals/entcs/LonsingB09, added-at = {2023-03-09T00:00:00.000+0100}, author = {Lonsing, Florian and Biere, Armin}, biburl = {https://www.bibsonomy.org/bibtex/27f953d045709047ca79873d063d0b3b3/dblp}, booktitle = {MEMICS}, crossref = {conf/memics/2008}, editor = {Ceska, Milan and Kotásek, Zdenek and Kretínský, Mojmír and Matyska, Ludek and Vojnar, Tomás}, ee = {https://doi.org/10.1016/j.entcs.2009.08.029}, interhash = {1531027a4ff755cde8b7add81b65b3b2}, intrahash = {7f953d045709047ca79873d063d0b3b3}, keywords = {dblp}, pages = {83-95}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T16:26:53.000+0200}, title = {Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs251.html#LonsingB09}, volume = 251, year = 2008 }