Solving non-linear Horn clauses using a linear Horn clause solver

Bishoksan Kafle, John Patrick Gallagher, Pierre Ganty

Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

2 resultater

Filter

Afsluttet

ICT-Energy
Gallagher, J. P. (Projektdeltager), Rosendahl, M. (Projektdeltager) & Bohr, N. (Projektdeltager)
01/10/2013 → 30/09/2016
Projekter: Projekt › Forskning
ENTRA: Whole-Systems Energy Transparency
Gallagher, J. P. (Projektdeltager), Rosendahl, M. (Projektdeltager), Rhiger, M. (Projektdeltager), Strand, D. L. (Projektleder) & Bohr, N. (Projektdeltager)
01/10/2012 → 30/09/2015
Projekter: Projekt › Forskning