Keyphrases
- international workshop
- horn clauses
- selected papers
- lecture notes
- international conference
- symbolic execution
- lecture notes in artificial intelligence
- hardware designs
- model checking
- program synthesis
- feature selection
- naacl hlt
- data mining
- acm sigkdd
- inference rules
- temporal logic
- first order logic
- computer science
- training data