Lightweight Online Learning for Sets of Related Problems in Automated Reasoning.
Haoze WuChristopher HahnFlorian LonsingMakai MannRaghuram RamanujanClark W. BarrettPublished in: CoRR (2023)
Keyphrases
- lightweight
- related problems
- automated reasoning
- online learning
- reasoning systems
- knowledge representation
- theorem prover
- theorem proving
- reasoning tasks
- probabilistic reasoning
- broadly applicable
- propositional satisfiability
- wireless sensor networks
- communication infrastructure
- e learning
- handheld devices
- dos attacks
- development environments
- constraint satisfaction
- search algorithm
- optimal solution
- neural network