%0 Conference Paper %1 conf/aaai/JordanKS16 %A Jordan, Charles %A Klieber, Will %A Seidl, Martina %B AAAI Workshop: Beyond NP %D 2016 %E Darwiche, Adnan %I AAAI Press %K dblp %T Non-CNF QBF Solving with QCIR. %U http://dblp.uni-trier.de/db/conf/aaai/np2016.html#JordanKS16 %V WS-16-05

@inproceedings{conf/aaai/JordanKS16, added-at = {2023-09-05T00:00:00.000+0200}, author = {Jordan, Charles and Klieber, Will and Seidl, Martina}, biburl = {https://www.bibsonomy.org/bibtex/260c2fed1c1c87f217f1e2c401ecab8b6/dblp}, booktitle = {AAAI Workshop: Beyond NP}, crossref = {conf/aaai/2016np}, editor = {Darwiche, Adnan}, ee = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12601}, interhash = {3a1a4e638aad2aab66c6c44b86c39044}, intrahash = {60c2fed1c1c87f217f1e2c401ecab8b6}, keywords = {dblp}, note = {978-1-57735-759-9}, publisher = {AAAI Press}, series = {AAAI Technical Report}, timestamp = {2024-04-09T18:10:14.000+0200}, title = {Non-CNF QBF Solving with QCIR.}, url = {http://dblp.uni-trier.de/db/conf/aaai/np2016.html#JordanKS16}, volume = {WS-16-05}, year = 2016 }