Items where Subject is "68-XX Computer science > 68Nxx Software > 68N17 Logic programming"
![]() | Up a level |
- MSC Classification Numbers (2)
- 68-XX Computer science (2)
- 68Nxx Software (2)
- 68N17 Logic programming (2)
- 68Nxx Software (2)
- 68-XX Computer science (2)
Group by: Authors | Item Type
Number of items at this level: 2.
V
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.
W
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.