Open AccessRealization of c-Inference as a SAT Problem
Author(s) -
Christoph Beierle,
Martin von Berg,
Arthur Sanin
Publication year - 2022
Publication title -
proceedings of the ... international florida artificial intelligence research society conference
Language(s) - English
Resource type - Journals
eISSN - 2334-0762
pISSN - 2334-0754
DOI - 10.32473/flairs.v35i.130663
Subject(s) - inference , boolean satisfiability problem , ranking (information retrieval) , backtracking , computer science , theoretical computer science , constraint satisfaction problem , satisfiability , knowledge base , base (topology) , realization (probability) , rank (graph theory) , solver , mathematics , algorithm , artificial intelligence , programming language , combinatorics , probabilistic logic , mathematical analysis , statistics