Open AccessMaximum Model Counting
Author(s) -
Daniel J. Fremont,
Markus Rabe,
Sanjit A. Seshia
Publication year - 2017
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v31i1.11138
Subject(s) - oracle , multiplicative function , computer science , simple (philosophy) , extension (predicate logic) , algorithm , solver , inference , counting problem , mathematics , mathematical optimization , theoretical computer science , artificial intelligence , mathematical analysis , philosophy , software engineering , epistemology , programming language