Login / Signup
Advancing Efficient Large-Scale Constraint Optimization Problem Solving by Integrating Machine Learning and Automated Reasoning.
Shufeng Kong
Published in:
STRL@IJCAI (2023)
Keyphrases
</>
automated reasoning
machine learning
constraint optimization
knowledge representation
theorem proving
probabilistic reasoning
artificial intelligence
theorem prover
genetic algorithm
reinforcement learning
first order logic
search algorithm
graphical models