Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018.
Published in: RCRA@FLoC (2018)
Keyphrases
- solving problems
- experimental evaluation
- international conference
- united kingdom
- keynote address
- advances in artificial intelligence
- acm sigkdd
- knowledge discovery and data mining
- international symposium
- student research workshop
- knowledge discovery
- united states
- lecture notes in artificial intelligence
- selected papers
- centre for advanced studies