Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees.
Jinzhao LiNan JiangYexiang XuePublished in: CoRR (2023)
Keyphrases
- artificial intelligence
- expert systems
- machine learning
- satisfiability problem
- high level
- sat solving
- data integration
- intelligent systems
- statistical analysis
- ai systems
- stochastic local search
- np complete
- finite domain
- combinatorial optimization
- phase transition
- case based reasoning
- sat instances
- symbolic representation
- knowledge representation
- ai methods
- approximation guarantees
- statistical information
- statistical models
- data driven
- knowledge based systems