%0 Journal Article %1 journals/fmsd/BloemBHELS21 %A Bloem, Roderick %A Braud-Santoni, Nicolas %A Hadzic, Vedad %A Egly, Uwe %A Lonsing, Florian %A Seidl, Martina %D 2021 %J Formal Methods Syst. Des. %K dblp %N 2 %P 157-177 %T Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd57.html#BloemBHELS21 %V 57

@article{journals/fmsd/BloemBHELS21, added-at = {2023-08-28T00:00:00.000+0200}, author = {Bloem, Roderick and Braud-Santoni, Nicolas and Hadzic, Vedad and Egly, Uwe and Lonsing, Florian and Seidl, Martina}, biburl = {https://www.bibsonomy.org/bibtex/299590824384812a6d806024803ec3471/dblp}, ee = {https://www.wikidata.org/entity/Q113902759}, interhash = {2f1220561a1a0a31305f25cd3114968d}, intrahash = {99590824384812a6d806024803ec3471}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 2, pages = {157-177}, timestamp = {2024-04-08T17:15:08.000+0200}, title = {Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd57.html#BloemBHELS21}, volume = 57, year = 2021 }