Publication “Partial Compilation of ASP Programs” at ICLP 2019


Another publication that I coauthored has been accepted and presented at the ICLP conference 2019Partial Compilation of ASP Programs“- it is about compiling ASP programs into C++ source code for more efficient evaluation of constraints that would be huge when instantiated as is usually done. The paper is published in the journal Theory and Practice of Logic Programming.