Cited By
View all- (2017)The Configurable SAT Solver Challenge (CSSC)Artificial Intelligence10.1016/j.artint.2016.09.006243:C(1-25)Online publication date: 1-Feb-2017
- Babic DHu ASchäfer WDwyer MGruhn V(2008)CalystoProceedings of the 30th international conference on Software engineering10.1145/1368088.1368118(211-220)Online publication date: 15-May-2008