Search dblp for Publications

export results for "toc:db/conf/aaai/np2016.bht:"

 download as .bib file

@inproceedings{DBLP:conf/aaai/0001JT16,
  author       = {Bart Bogaerts and
                  Tomi Janhunen and
                  Shahab Tasharrofi},
  editor       = {Adnan Darwiche},
  title        = {Solving {QBF} Instances with Nested {SAT} Solvers},
  booktitle    = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
                  USA, February 12, 2016},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-16-05}},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12603},
  timestamp    = {Tue, 05 Sep 2023 08:59:27 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/0001JT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/BalabanovJMS16,
  author       = {Valeriy Balabanov and
                  Jie{-}Hong Roland Jiang and
                  Alan Mishchenko and
                  Christoph Scholl},
  editor       = {Adnan Darwiche},
  title        = {Clauses Versus Gates in CEGAR-Based 2QBF Solving},
  booktitle    = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
                  USA, February 12, 2016},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-16-05}},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12660},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BalabanovJMS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/Belle16,
  author       = {Vaishak Belle},
  editor       = {Adnan Darwiche},
  title        = {Satisfiability and Model Counting in Open Universes},
  booktitle    = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
                  USA, February 12, 2016},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-16-05}},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12605},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Belle16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/BeyersdorffCJ16,
  author       = {Olaf Beyersdorff and
                  Leroy Chew and
                  Mikolas Janota},
  editor       = {Adnan Darwiche},
  title        = {Extension Variables in {QBF} Resolution},
  booktitle    = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
                  USA, February 12, 2016},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-16-05}},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12612},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BeyersdorffCJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/BliemCHW16,
  author       = {Bernhard Bliem and
                  G{\"{u}}nther Charwat and
                  Markus Hecher and
                  Stefan Woltran},
  editor       = {Adnan Darwiche},
  title        = {Subset Minimization in Dynamic Programming on Tree Decompositions},
  booktitle    = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
                  USA, February 12, 2016},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-16-05}},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12562},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BliemCHW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/DarwicheMM16,
  author       = {Adnan Darwiche and
                  Jo{\~{a}}o Marques{-}Silva and
                  Pierre Marquis},
  editor       = {Adnan Darwiche},
  title        = {Preface: The Beyond {NP} Workshop},
  booktitle    = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
                  USA, February 12, 2016},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-16-05}},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/13235},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/DarwicheMM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/GribkoffS16,
  author       = {Eric Gribkoff and
                  Dan Suciu},
  editor       = {Adnan Darwiche},
  title        = {SlimShot: Probabilistic Inference for Web-Scale Knowledge Bases},
  booktitle    = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
                  USA, February 12, 2016},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-16-05}},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12658},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GribkoffS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/JordanKS16,
  author       = {Charles Jordan and
                  Will Klieber and
                  Martina Seidl},
  editor       = {Adnan Darwiche},
  title        = {Non-CNF {QBF} Solving with {QCIR}},
  booktitle    = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
                  USA, February 12, 2016},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-16-05}},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12601},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/JordanKS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/KazemiP16,
  author       = {Seyed Mehran Kazemi and
                  David Poole},
  editor       = {Adnan Darwiche},
  title        = {Lazy Arithmetic Circuits},
  booktitle    = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
                  USA, February 12, 2016},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-16-05}},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12576},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/KazemiP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/KenigG16,
  author       = {Batya Kenig and
                  Avigdor Gal},
  editor       = {Adnan Darwiche},
  title        = {Exploiting the Hidden Structure of Junction Trees for {MPE}},
  booktitle    = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
                  USA, February 12, 2016},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-16-05}},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12563},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/KenigG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/KoppSK16,
  author       = {Timothy Kopp and
                  Parag Singla and
                  Henry A. Kautz},
  editor       = {Adnan Darwiche},
  title        = {Toward Caching Symmetrical Subtheories for Weighted Model Counting},
  booktitle    = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
                  USA, February 12, 2016},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-16-05}},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12684},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/KoppSK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/MeelVCFSFIM16,
  author       = {Kuldeep S. Meel and
                  Moshe Y. Vardi and
                  Supratik Chakraborty and
                  Daniel J. Fremont and
                  Sanjit A. Seshia and
                  Dror Fried and
                  Alexander Ivrii and
                  Sharad Malik},
  editor       = {Adnan Darwiche},
  title        = {Constrained Sampling and Counting: Universal Hashing Meets {SAT} Solving},
  booktitle    = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
                  USA, February 12, 2016},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-16-05}},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12618},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/MeelVCFSFIM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/Olteanu16,
  author       = {Dan Olteanu},
  editor       = {Adnan Darwiche},
  title        = {Factorized Databases: {A} Knowledge Compilation Perspective},
  booktitle    = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
                  USA, February 12, 2016},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-16-05}},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12638},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Olteanu16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/VlasselaerKDMR16,
  author       = {Jonas Vlasselaer and
                  Angelika Kimmig and
                  Anton Dries and
                  Wannes Meert and
                  Luc De Raedt},
  editor       = {Adnan Darwiche},
  title        = {Knowledge Compilation and Weighted Model Counting for Inference in
                  Probabilistic Logic Programs},
  booktitle    = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
                  USA, February 12, 2016},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-16-05}},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12631},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/VlasselaerKDMR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aaai/2016np,
  editor       = {Adnan Darwiche},
  title        = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
                  USA, February 12, 2016},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-16-05}},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/Library/Workshops/ws16-05.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/2016np.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.