The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "AAAI Workshop: Beyond NP"( http://dblp.L3S.de/Venues/AAAI_Workshop:_Beyond_NP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/aaai

Publication years (Num. hits)
2016 (15)
Publication types (Num. hits)
inproceedings(14) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jonas Vlasselaer, Angelika Kimmig, Anton Dries, Wannes Meert, Luc De Raedt Knowledge Compilation and Weighted Model Counting for Inference in Probabilistic Logic Programs. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Vaishak Belle Satisfiability and Model Counting in Open Universes. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Batya Kenig, Avigdor Gal Exploiting the Hidden Structure of Junction Trees for MPE. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Eric Gribkoff, Dan Suciu SlimShot: Probabilistic Inference for Web-Scale Knowledge Bases. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Adnan Darwiche, João Marques-Silva, Pierre Marquis Preface: The Beyond NP Workshop. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Tomi Janhunen, Shahab Tasharrofi Solving QBF Instances with Nested SAT Solvers. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Charles Jordan, Will Klieber, Martina Seidl Non-CNF QBF Solving with QCIR. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Adnan Darwiche (eds.) Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl Clauses Versus Gates in CEGAR-Based 2QBF Solving. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Timothy Kopp, Parag Singla, Henry A. Kautz Toward Caching Symmetrical Subtheories for Weighted Model Counting. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Olaf Beyersdorff, Leroy Chew, Mikolas Janota Extension Variables in QBF Resolution. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Dan Olteanu Factorized Databases: A Knowledge Compilation Perspective. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Bernhard Bliem, Günther Charwat, Markus Hecher, Stefan Woltran Subset Minimization in Dynamic Programming on Tree Decompositions. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Seyed Mehran Kazemi, David Poole 0001 Lazy Arithmetic Circuits. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license