Learning from constraints for formal property checking.
In-Ho MoonKevin HarerPublished in: HLDVT (2009)
Keyphrases
- learning algorithm
- active learning
- reinforcement learning
- incremental learning
- learning process
- unsupervised learning
- learning scheme
- knowledge management
- learning systems
- learning tasks
- constraint checking
- inductive inference
- constrained optimization
- learning community
- learning problems
- constraint satisfaction
- np complete
- linear programming
- evolutionary algorithm
- learning environment
- knowledge base