no code implementations • 30 Aug 2023 • Emmanuelle Dietz, Tobias Philipp, Gerrit Schramm, Andreas Zindel
In a co-design environment changes need to be integrated quickly and in an automated manner.
no code implementations • 24 Jul 2019 • Mario Alviano, Carmine Dodaro, Johannes K. Fichte, Markus Hecher, Tobias Philipp, Jakob Rath
Verifying whether a claimed answer set is formally a correct answer set of the program can be decided in polynomial time for (normal) programs.