aaai98

aaai 2016 论文列表

Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016.

Knowledge Compilation and Weighted Model Counting for Inference in Probabilistic Logic Programs.

Jonas Vlasselaer Angelika Kimmig Anton Dries Wannes Meert Luc De Raedt

Factorized Databases: A Knowledge Compilation Perspective.

Dan Olteanu

Constrained Sampling and Counting: Universal Hashing Meets SAT Solving.

Kuldeep S. Meel Moshe Y. Vardi Supratik Chakraborty Daniel J. Fremont Sanjit A. Seshia Dror Fried Alexander Ivrii Sharad Malik

Toward Caching Symmetrical Subtheories for Weighted Model Counting.

Timothy Kopp Parag Singla Henry A. Kautz

Exploiting the Hidden Structure of Junction Trees for MPE.

Batya Kenig Avigdor Gal

Lazy Arithmetic Circuits.

Seyed Mehran Kazemi David Poole

Non-CNF QBF Solving with QCIR.

Charles Jordan Will Klieber Martina Seidl

SlimShot: Probabilistic Inference for Web-Scale Knowledge Bases.

Eric Gribkoff Dan Suciu

Solving QBF Instances with Nested SAT Solvers.

Bart Bogaerts Tomi Janhunen Shahab Tasharrofi

Subset Minimization in Dynamic Programming on Tree Decompositions.

Bernhard Bliem Günther Charwat Markus Hecher Stefan Woltran

Extension Variables in QBF Resolution.

Olaf Beyersdorff Leroy Chew Mikolas Janota

Satisfiability and Model Counting in Open Universes.

Vaishak Belle

Clauses Versus Gates in CEGAR-Based 2QBF Solving.

Valeriy Balabanov Jie-Hong Roland Jiang Alan Mishchenko Christoph Scholl

Preface: The Beyond NP Workshop.

Adnan Darwiche João Marques-Silva Pierre Marquis