Daniel Larraz
From MaRDI portal
Person:2096442
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Scalable algorithms for abduction via enumerative syntax-guided synthesis | 2022-11-09 | Paper |
| Proving termination through conditional termination Tools and Algorithms for the Construction and Analysis of Systems | 2020-08-05 | Paper |
| Incomplete SMT techniques for solving non-linear formulas over the integers ACM Transactions on Computational Logic | 2019-11-22 | Paper |
| Speeding up the constraint-based method in difference logic Theory and Applications of Satisfiability Testing – SAT 2016 | 2016-09-05 | Paper |
| SMT-based array invariant generation Lecture Notes in Computer Science | 2014-11-03 | Paper |
| Minimal-model-guided approaches to solving polynomial constraints and extensions Lecture Notes in Computer Science | 2014-09-26 | Paper |
Research outcomes over time
This page was built for person: Daniel Larraz
