Datalog-based systems can use incremental smt solving (extended abstract)

Aaron Bembenek, Michael Ballantyne, Michael Greenberg, Nada Amin

Research output: Contribution to journal › Conference article › peer-review

1 Scopus citations

Original language	English
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	325
State	Published - 19 Sep 2020
Event	36th International Conference on Logic Programming, ICLP 2020 - Virtual, Rende, Italy Duration: 18 Sep 2020 → 24 Sep 2020

Cite this

@article{7c6b2daf803c42619f7f553dd9a9c019,

title = "Datalog-based systems can use incremental smt solving (extended abstract)",

author = "Aaron Bembenek and Michael Ballantyne and Michael Greenberg and Nada Amin",

year = "2020",

month = sep,

day = "19",

language = "English",

volume = "325",

note = "36th International Conference on Logic Programming, ICLP 2020 ; Conference date: 18-09-2020 Through 24-09-2020",

}

TY - JOUR

T1 - Datalog-based systems can use incremental smt solving (extended abstract)

AU - Bembenek, Aaron

AU - Ballantyne, Michael

AU - Greenberg, Michael

AU - Amin, Nada

PY - 2020/9/19

Y1 - 2020/9/19

UR - http://www.scopus.com/inward/record.url?scp=85092646390&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85092646390&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:85092646390

SN - 2075-2180

VL - 325

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 36th International Conference on Logic Programming, ICLP 2020

Y2 - 18 September 2020 through 24 September 2020

ER -