![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 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](https://www.pdfsearch.io/img/0832b9f5b1eb8ff1d5f25f45a038cc46.jpg) Date: 2011-02-12 03:52:22Logic 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 SchneiderAdd to Reading ListSource URL: www.cs.uni-potsdam.deDownload Document from Source Website File Size: 259,19 KBShare Document on Facebook
|