AAAI Workshop: Beyond NP 2016: Phoenix, Arizona, USA

> Home > Conferences and Workshops > AAAI

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/aaai/2016np
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/2016np
Adnan Darwiche:
Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016. AAAI Technical Report WS-16-05, AAAI Press 2016
- view
- export record
  dblp key:
  - conf/aaai/DarwicheMM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/DarwicheMM16
Adnan Darwiche, João Marques-Silva, Pierre Marquis:
Preface: The Beyond NP Workshop.
- view
- export record
  dblp key:
  - conf/aaai/BalabanovJMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BalabanovJMS16
Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl:
Clauses Versus Gates in CEGAR-Based 2QBF Solving.
- view
- export record
  dblp key:
  - conf/aaai/Belle16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Belle16
Vaishak Belle:
Satisfiability and Model Counting in Open Universes.
- view
- export record
  dblp key:
  - conf/aaai/BeyersdorffCJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BeyersdorffCJ16
Olaf Beyersdorff, Leroy Chew, Mikolas Janota:
Extension Variables in QBF Resolution.
- view
- export record
  dblp key:
  - conf/aaai/BliemCHW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BliemCHW16
Bernhard Bliem, Günther Charwat, Markus Hecher, Stefan Woltran:
Subset Minimization in Dynamic Programming on Tree Decompositions.
- view
- export record
  dblp key:
  - conf/aaai/0001JT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/0001JT16
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi:
Solving QBF Instances with Nested SAT Solvers.
- view
- export record
  dblp key:
  - conf/aaai/GribkoffS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GribkoffS16
Eric Gribkoff, Dan Suciu:
SlimShot: Probabilistic Inference for Web-Scale Knowledge Bases.
- view
- export record
  dblp key:
  - conf/aaai/JordanKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/JordanKS16
Charles Jordan, Will Klieber, Martina Seidl:
Non-CNF QBF Solving with QCIR.
- view
- export record
  dblp key:
  - conf/aaai/KazemiP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/KazemiP16
Seyed Mehran Kazemi, David Poole:
Lazy Arithmetic Circuits.
- view
- export record
  dblp key:
  - conf/aaai/KenigG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/KenigG16
Batya Kenig, Avigdor Gal:
Exploiting the Hidden Structure of Junction Trees for MPE.
- view
- export record
  dblp key:
  - conf/aaai/KoppSK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/KoppSK16
Timothy Kopp, Parag Singla, Henry A. Kautz:
Toward Caching Symmetrical Subtheories for Weighted Model Counting.
- view
- export record
  dblp key:
  - conf/aaai/MeelVCFSFIM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/MeelVCFSFIM16
Kuldeep 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.
- view
- export record
  dblp key:
  - conf/aaai/Olteanu16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Olteanu16
Dan Olteanu:
Factorized Databases: A Knowledge Compilation Perspective.
- view
- export record
  dblp key:
  - conf/aaai/VlasselaerKDMR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/VlasselaerKDMR16
Jonas Vlasselaer, Angelika Kimmig, Anton Dries, Wannes Meert, Luc De Raedt:
Knowledge Compilation and Weighted Model Counting for Inference in Probabilistic Logic Programs.

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.