Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration with Provable Guarantees.
Jinzhao LiNan JiangYexiang XuePublished in: AAAI (2024)
Keyphrases
- artificial intelligence
- expert systems
- np complete
- data driven
- computer algebra systems
- finite domain
- approximation guarantees
- intelligent systems
- data integration
- satisfiability problem
- lecture notes in artificial intelligence
- decision procedures
- knowledge representation
- sat encodings
- sat solving
- machine learning
- case based reasoning
- statistical analysis
- statistical models
- information theoretic
- statistical methods
- phase transition
- high level