Towards Clause Learning a la Carte through VarMonads
Friedemann A, Keszöcze O (2022)
Publication Language: English
Publication Type: Conference contribution, Original article
Publication year: 2022
Event location: Tbilisi
Authors with CRIS profile
How to cite
APA:
Friedemann, A., & Keszöcze, O. (2022). Towards Clause Learning a la Carte through VarMonads. In Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation. Tbilisi, GE.
MLA:
Friedemann, Arved, and Oliver Keszöcze. "Towards Clause Learning a la Carte through VarMonads." Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation, Tbilisi 2022.
BibTeX: Download