%0 Journal Article %1 journals/jair/HeuleJLSB15 %A Heule, Marijn %A Järvisalo, Matti %A Lonsing, Florian %A Seidl, Martina %A Biere, Armin %D 2015 %J J. Artif. Intell. Res. %K %P 127-168 %T Clause Elimination for SAT and QSAT. %U http://dblp.uni-trier.de/db/journals/jair/jair53.html#HeuleJLSB15 %V 53

@article{journals/jair/HeuleJLSB15, added-at = {2023-12-14T15:33:50.000+0100}, author = {Heule, Marijn and Järvisalo, Matti and Lonsing, Florian and Seidl, Martina and Biere, Armin}, biburl = {https://www.bibsonomy.org/bibtex/2d981fc6b369d1aa085c63b5bfd76bed5/admin}, ee = {https://doi.org/10.1613/jair.4694}, interhash = {ecb356edbc53d5ef98c6d2c113ed84a4}, intrahash = {d981fc6b369d1aa085c63b5bfd76bed5}, journal = {J. Artif. Intell. Res.}, keywords = {}, pages = {127-168}, timestamp = {2023-12-14T15:33:50.000+0100}, title = {Clause Elimination for SAT and QSAT.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair53.html#HeuleJLSB15}, volume = 53, year = 2015 }