27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024, August 21-24, 2024, Pune, India
Published in: SAT (2024)
Keyphrases
- satisfiability testing
- propositional logic
- model counting
- developing countries
- tie breaking
- lecture notes in artificial intelligence
- knowledge discovery and data mining
- computational model
- belief revision
- sat solvers
- weighted model counting
- neural network
- lecture notes
- phase transition
- special issue
- logic programming
- computer science
- search algorithm