Tinelli, Cesare
- Lean-SMT: An SMT tactic for discharging proof goals in Lean
2025/05/21 by Abdalrhman Mohamed, Mohamed, Abdalrhman, Tomaz Mascarenhas +13 · 8 citations
Business, Management and Accounting · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Quality and Management Systems #Quality and Supply Management
- Towards Bit-Width-Independent Proofs in SMT Solvers
2019/05/24 by Niemetz, Aina, Preiner, Mathias, Reynolds, Andrew +3 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Invariant stream generators using automatic abstract transformers based on a decidable logic
2012/05/16 by Pierre-Loïc Garoche, Garoche, Pierre-Loïc, Temesghen Kahsai +3 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Modeling and Simulation Systems #Real-time simulation and control systems #Security and Verification in Computing #Software Engineering (cs.SE) #cs.LO #cs.SE
- Partitioning Strategies for Distributed SMT Solving
2023/06/08 by Amalee Wilson, Andres Noetzli, Wilson, Amalee +9 · 2 citations
Computer Science · #Constraint Satisfaction and Optimization #Distributed #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Parallel #and Cluster Computing (cs.DC)
- Reasoning About Vectors using an SMT Theory of Sequences
2022/05/17 by Ying Sheng, Sheng, Ying, Andres Nötzli +17 · 2 citations
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
- CVC4 at the SMT Competition 2018
2018/06/20 by Clark Barrett, Barrett, Clark, Haniel Barbosa +19 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- Politeness and Stable Infiniteness: Stronger Together
2021/04/23 by Ying Sheng, Yoni Zohar, Sheng, Ying +9 · 2 citations
Business, Management and Accounting · Decision Sciences · Economics, Econometrics and Finance · #Auction Theory and Applications #FOS: Computer and information sciences #Law, Economics, and Judicial Systems #Law, logistics, and international trade #Logic in Computer Science (cs.LO)
- Smt-Switch: a solver-agnostic C++ API for SMT Solving
2020/07/02 by Mann, Makai, Wilson, Amalee, Tinelli, Cesare +1 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Generalized Optimization Modulo Theories
2024/04/24 by Nestan Tsiskaridze, Tsiskaridze, Nestan, Clark Barrett +3 · 1 voice
Computer Science · Engineering · #BIM and Construction Integration #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Metaheuristic Optimization Algorithms Research #cs.LO
- Verifying SQL Queries using Theories of Tables and Relations
2024/05/05 by Mudathir Mohamed, Andrew Reynolds, Mohamed, Mudathir +5 · 2 citations
Computer Science · Decision Sciences · #Advanced Database Systems and Queries #Data Quality and Management #Semantic Web and Ontologies