Open AccessSymmetric Component Caching for Model Counting on Combinatorial Instances
Author(s) -
Timothy van Bremen,
Vincent Derkinderen,
Shubham Sharma,
Subhajit Roy,
Kuldeep S. Meel
Publication year - 2021
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v35i5.16511
Subject(s) - soundness , computer science , component (thermodynamics) , exploit , state (computer science) , theoretical computer science , counting process , process (computing) , combinatorial explosion , scheme (mathematics) , algorithm , mathematics , combinatorics , programming language , mathematical analysis , statistics , physics , computer security , thermodynamics