Back to Results
First PageMeta Content
Logic programming / NP-complete problems / Operations research / Constraint programming / Answer set programming / Logic in computer science / Boolean satisfiability problem / Algorithm / Solver / Stable model semantics / AMPL / Constraint satisfaction problem


1 Potassco: The Potsdam Answer Set Solving Collection Martin Gebser, Benjamin Kaufmann, Roland Kaminski, Max Ostrowski, Torsten Schaub, and Marius Schneider
Add to Reading List

Document Date: 2011-02-12 03:52:22

Open Document

File Size: 259,19 KB

Share Result on Facebook