PDF-clasp A ConictDriven Answer Set Solver Martin Gebser Benjamin Kaufmann Andr e Neumann and Torsten Schaub Institut f ur Informatik Universit at Potsdam AugustBebelStr
89 D14482 Potsdam Germany Abstract We describe the con64258ictdriven answer set solver clasp whichis based on concepts from constraint processing CSP and satis64257ability
Download Presentation
"clasp A ConictDriven Answer Set Solver Martin Gebser Benjam " is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.