Items where Subject is "68-XX Computer science > 68Nxx Software > 68N17 Logic programming"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type
Jump to: V | W
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.

This list was generated on Tue Oct 24 13:13:32 2017 CEST.