Cited By
View all- Biedenkapp ALindauer MEggensperger KHutter FFawcett CHoos HSingh SMarkovitch S(2017)Efficient parameter importance analysis via ablation with surrogatesProceedings of the Thirty-First AAAI Conference on Artificial Intelligence10.5555/3298239.3298353(773-779)Online publication date: 4-Feb-2017
- (2017)The Configurable SAT Solver Challenge (CSSC)Artificial Intelligence10.1016/j.artint.2016.09.006243:C(1-25)Online publication date: 1-Feb-2017
- Lal AQadeer SJobstmann B(2014)A Program Transformation for Faster Goal-Directed SearchProceedings of the 14th Conference on Formal Methods in Computer-Aided Design10.5555/2682923.2682951(147-154)Online publication date: 21-Oct-2014
- Show More Cited By