Items where Subject is "68-XX Computer science > 68Nxx Software > 68N17 Logic programming"
 | Up a level |
- MSC Classification Numbers (643)
- 68-XX Computer science (260)
- 68Nxx Software (14)
- 68N17 Logic programming (2)
- 68Nxx Software (14)
- 68-XX Computer science (260)
Number of items at this level: 2.
van der Grinten, Alexander and Wotzlaw, Andreas and Speckenmeyer, Ewald and Porschen, Stefan
(2012)
satUZK: Solver Description.
Published In:
Proceedings of SAT Challenge 2012; Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B. 2012-2 University of Helsinki 2012, pp. 54-55.
Wotzlaw, Andreas and van der Grinten, Alexander and Speckenmeyer, Ewald and Porschen, Stefan
(2012)
pfolioUZK: Solver Description.
Published In:
Proceedings of SAT Challenge 2012; Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B. 2012-2 University of Helsinki 2012, p. 45.
