%0 Journal Article %1 journals/toct/BeyersdorffCJ19 %A Beyersdorff, Olaf %A Chew, Leroy %A Janota, Mikolás %D 2019 %J ACM Trans. Comput. Theory %K dblp %N 4 %P 26:1-26:42 %T New Resolution-Based QBF Calculi and Their Proof Complexity. %U http://dblp.uni-trier.de/db/journals/toct/toct11.html#BeyersdorffCJ19 %V 11

@article{journals/toct/BeyersdorffCJ19, added-at = {2024-02-05T00:00:00.000+0100}, author = {Beyersdorff, Olaf and Chew, Leroy and Janota, Mikolás}, biburl = {https://www.bibsonomy.org/bibtex/2614fbd4fdfe00650cf9682d088e4100d/dblp}, ee = {https://doi.org/10.1145/3352155}, interhash = {1f7ccf5bcf2007949f6849cfbf82b9f9}, intrahash = {614fbd4fdfe00650cf9682d088e4100d}, journal = {ACM Trans. Comput. Theory}, keywords = {dblp}, number = 4, pages = {26:1-26:42}, timestamp = {2024-04-09T03:33:12.000+0200}, title = {New Resolution-Based QBF Calculi and Their Proof Complexity.}, url = {http://dblp.uni-trier.de/db/journals/toct/toct11.html#BeyersdorffCJ19}, volume = 11, year = 2019 }