Back to Results
First PageMeta Content
Programming paradigms / Logic programming / Software engineering / Artificial intelligence / Constraint programming / Theoretical computer science / Answer set programming / Automated reasoning / Constraint satisfaction problem / Problem solving / Solver / Knowledge representation and reasoning


From SAT to ASP and back!? Torsten Schaub University of Potsdam & INRIA Rennes Torsten Schaub (KRR@UP)
Add to Reading List

Document Date: 2016-07-11 01:48:08


Open Document

File Size: 1,33 MB

Share Result on Facebook