26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy

Published in: SAT (2023)

Keyphrases

satisfiability testing
propositional logic
lecture notes
model counting
tie breaking
lecture notes in artificial intelligence
neural network
search algorithm
computer science
weighted model counting
artificial intelligence
theoretical framework
hong kong