Variable Elimination for DLP-Functions

Ricardo Goncalves, Tomi Janhunen, Matthias Knorr, Joao Leite, Stefan Woltran

Research output: Contribution to conferenceAbstractScientificpeer-review

Fingerprint Dive into the research topics of 'Variable Elimination for DLP-Functions'. Together they form a unique fingerprint.

Engineering & Materials Science