AutoSAT: Automatically Optimize SAT Solvers via Large Language Models.
Yiwen SunXianyin ZhangShiyu HuangShaowei CaiBing-Zhen ZhangKe WeiPublished in: CoRR (2024)
Keyphrases
- language model
- sat solvers
- language modeling
- n gram
- document retrieval
- probabilistic model
- language modelling
- speech recognition
- constraint satisfaction
- orders of magnitude
- retrieval model
- statistical language models
- query expansion
- max sat
- test collection
- sat solving
- context sensitive
- propositional satisfiability
- information retrieval
- boolean satisfiability
- sat instances
- search space
- weighted max sat
- sat problem
- search strategies
- document ranking
- query terms
- sat encodings
- smoothing methods
- clause learning
- relevance model
- language models for information retrieval
- pseudo relevance feedback
- data structure