The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SMT"( http://dblp.L3S.de/Venues/SMT )

URL (DBLP): http://dblp.uni-trier.de/db/conf/smt

Publication years (Num. hits)
2014-2017 (26) 2020-2021 (23) 2022-2023 (22)
Publication types (Num. hits)
inproceedings(65) proceedings(6)
Venues (Conferences, Journals, ...)
SMT(71)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 71 publication records. Showing 71 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Guillaume Bury, François Bobot Verifying Models with Dolmen. Search on Bibsonomy SMT The full citation details ... 2023 DBLP  BibTeX  RDF
1Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown 0001 Exploiting Strict Constraints in the Cylindrical Algebraic Covering. Search on Bibsonomy SMT The full citation details ... 2023 DBLP  BibTeX  RDF
1Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds 0001, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli Automatic Verification of SMT Rewrites in Isabelle/HOL. Search on Bibsonomy SMT The full citation details ... 2023 DBLP  BibTeX  RDF
1Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand Automated Analysis of Halo2 Circuits. Search on Bibsonomy SMT The full citation details ... 2023 DBLP  BibTeX  RDF
1Stéphane Graham-Lengrand, Mathias Preiner (eds.) Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, July, 5-6, 2023. Search on Bibsonomy SMT The full citation details ... 2023 DBLP  BibTeX  RDF
1Jan Jakubuv, Mikolás Janota, Bartosz Piotrowski, Jelle Piepenbrock, Andrew Reynolds 0001 Selecting Quantifiers for Instantiation in SMT. Search on Bibsonomy SMT The full citation details ... 2023 DBLP  BibTeX  RDF
1Michael Whalen Invited Talk: SAT and SMT Solving at Cloud Scale. Search on Bibsonomy SMT The full citation details ... 2023 DBLP  BibTeX  RDF
1Romain Béguet, Raphaël Amiard Application of SMT in a Meta-Compiler: A Logic DSL for Specifying Type Systems. Search on Bibsonomy SMT The full citation details ... 2023 DBLP  BibTeX  RDF
1Oded Padon Invited Talk: Deductive Verification of Distributed Protocols in Decidable Logics. Search on Bibsonomy SMT The full citation details ... 2023 DBLP  BibTeX  RDF
1Christopher Lynch, Stephen Miner Complete Trigger Selection in Satisfiability Modulo First-Order Theories. Search on Bibsonomy SMT The full citation details ... 2023 DBLP  BibTeX  RDF
1Joseph Scott, Guanting Pan, Elias B. Khalil, Vijay Ganesh Goose: A Meta-Solver for Deep Neural Network Verification. Search on Bibsonomy SMT The full citation details ... 2022 DBLP  BibTeX  RDF
1Thomas Hader, Laura Kovács An SMT Approach for Solving Polynomials over Finite Fields. Search on Bibsonomy SMT The full citation details ... 2022 DBLP  BibTeX  RDF
1Alessandro Cimatti, Alberto Griggio, Stefano Tonetta The VMT-LIB Language and Tools. Search on Bibsonomy SMT The full citation details ... 2022 DBLP  BibTeX  RDF
1Chad E. Brown, Mikolás Janota, Cezary Kaliszyk Abstract: Challenges and Solutions for Higher-Order SMT Proofs. Search on Bibsonomy SMT The full citation details ... 2022 DBLP  BibTeX  RDF
1Jochen Hoenicke, Tanja Schindler A Simple Proof Format for SMT. Search on Bibsonomy SMT The full citation details ... 2022 DBLP  BibTeX  RDF
1Zafer Esen, Philipp Rümmer An SMT-LIB Theory of Heaps. Search on Bibsonomy SMT The full citation details ... 2022 DBLP  BibTeX  RDF
1Lucas Clemente Vella, Leonardo Alt On Satisfiability of Polynomial Equations over Large Prime Fields. Search on Bibsonomy SMT The full citation details ... 2022 DBLP  BibTeX  RDF
1Nikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács User-Propagators for Custom Theories in SMT Solving. Search on Bibsonomy SMT The full citation details ... 2022 DBLP  BibTeX  RDF
1Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar CDSAT for Nondisjoint Theories with Shared Predicates: Arrays With Abstract Length. Search on Bibsonomy SMT The full citation details ... 2022 DBLP  BibTeX  RDF
1David Déharbe, Antti E. J. Hyvärinen (eds.) Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), Haifa, Israel, August 11-12, 2022. Search on Bibsonomy SMT The full citation details ... 2022 DBLP  BibTeX  RDF
1Aina Niemetz Invited Talk: Local Search for Bit-Precise Reasoning and Beyond. Search on Bibsonomy SMT The full citation details ... 2022 DBLP  BibTeX  RDF
1Milan Bankovic, David Scepanovic Trail Saving in SMT. Search on Bibsonomy SMT The full citation details ... 2022 DBLP  BibTeX  RDF
1Hans-Jörg Schurr, Mathias Fleury, Martin Desharnais Abstract: Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant. Search on Bibsonomy SMT The full citation details ... 2021 DBLP  BibTeX  RDF
1Guy Katz Invited Talk: Using SMT and Abstraction-Refinement for Neural Network Verification. Search on Bibsonomy SMT The full citation details ... 2021 DBLP  BibTeX  RDF
1Guillaume Bury Dolmen: A Validator for SMT-LIB and Much More. Search on Bibsonomy SMT The full citation details ... 2021 DBLP  BibTeX  RDF
1Elisabeth Henkel, Jochen Hoenicke, Tanja Schindler Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality. Search on Bibsonomy SMT The full citation details ... 2021 DBLP  BibTeX  RDF
1Jan Jakubuv, Mikolás Janota, Andrew Reynolds 0001 Characteristic Subsets of SMT-LIB Benchmarks. Search on Bibsonomy SMT The full citation details ... 2021 DBLP  BibTeX  RDF
1Chad E. Brown, Mikolás Janota First-Order Instantiation using Discriminating Terms. Search on Bibsonomy SMT The full citation details ... 2021 DBLP  BibTeX  RDF
1François Bobot, Tjark Weber (eds.) Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Online (initially located in Paris, France), July 5-6, 2020. Search on Bibsonomy SMT The full citation details ... 2021 DBLP  BibTeX  RDF
1Alexander Nadel, Aina Niemetz (eds.) Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021. Search on Bibsonomy SMT The full citation details ... 2021 DBLP  BibTeX  RDF
1José Abel Castellanos Joo, Silvio Ghilardi, Alessandro Gianola, Deepak Kapur AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff. Search on Bibsonomy SMT The full citation details ... 2021 DBLP  BibTeX  RDF
1Fabian Zaiser, Luke Ong Abstract: The Extended Theory of Trees and Algebraic (Co)datatypes. Search on Bibsonomy SMT The full citation details ... 2021 DBLP  BibTeX  RDF
1Karem A. Sakallah Invited Talk: AVR: Word-Level Verification by Equality Abstraction of Data State. Search on Bibsonomy SMT The full citation details ... 2021 DBLP  BibTeX  RDF
1Martin Brain Further Steps Down The Wrong Path: Improving the Bit-Blasting of Multiplication. Search on Bibsonomy SMT The full citation details ... 2021 DBLP  BibTeX  RDF
1Mooly Sagiv Invited Talk: Harnessing SMT Solvers for Verifying Low Level Programs. Search on Bibsonomy SMT The full citation details ... 2020 DBLP  BibTeX  RDF
1Bruno Dutertre An Empirical Evaluation of SAT Solvers on Bit-vector Problems. Search on Bibsonomy SMT The full citation details ... 2020 DBLP  BibTeX  RDF
1Joseph Scott, Federico Mora, Vijay Ganesh Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers. Search on Bibsonomy SMT The full citation details ... 2020 DBLP  BibTeX  RDF
1Philipp Rümmer Invited Talk: Solving String Constraints, Starting from the Beginning and from the End. Search on Bibsonomy SMT The full citation details ... 2020 DBLP  BibTeX  RDF
1Sophie Tourret, Pascal Fontaine, Daniel El Ouraoui, Haniel Barbosa Lifting Congruence Closure with Free Variables to λ-free Higher-order Logic via SAT Encoding. Search on Bibsonomy SMT The full citation details ... 2020 DBLP  BibTeX  RDF
1Ákos Hajdu, Dejan Jovanovic Abstract: SMT-Friendly Formalization of the Solidity Memory Model. Search on Bibsonomy SMT The full citation details ... 2020 DBLP  BibTeX  RDF
1Makai Mann, Amalee Wilson, Cesare Tinelli, Clark W. Barrett Smt-Switch: A Solver-agnostic C++ API for SMT Solving. Search on Bibsonomy SMT The full citation details ... 2020 DBLP  BibTeX  RDF
1Seonmo Kim, Stephen McCamant Structural Bit-vector Model Counting. Search on Bibsonomy SMT The full citation details ... 2020 DBLP  BibTeX  RDF
1Chaitanya Mangla, Sean B. Holden, Lawrence C. Paulson Bayesian Optimisation of Solver Parameters in CBMC. Search on Bibsonomy SMT The full citation details ... 2020 DBLP  BibTeX  RDF
1Zafer Esen, Philipp Rümmer Abstract: Towards an SMT-LIB Theory of Heap. Search on Bibsonomy SMT The full citation details ... 2020 DBLP  BibTeX  RDF
1Joseph Scott, Aina Niemetz, Mathias Preiner, Vijay Ganesh Abstract: MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. Search on Bibsonomy SMT The full citation details ... 2020 DBLP  BibTeX  RDF
1Dejan Jovanovic, Bruno Dutertre LibPoly: A Library for Reasoning about Polynomials. Search on Bibsonomy SMT The full citation details ... 2017 DBLP  BibTeX  RDF
1Yakir Vizel, Alexander Nadel, Sharad Malik Solving Constraints over Bit-Vectors with SAT-based Model Checking. Search on Bibsonomy SMT The full citation details ... 2017 DBLP  BibTeX  RDF
1François Bobot, Zakaria Chihani, Bruno Marre Real Behavior of Floating Point. Search on Bibsonomy SMT The full citation details ... 2017 DBLP  BibTeX  RDF
1Andrew Reynolds 0001 Quantifier Instantiation Beyond E-Matching. Search on Bibsonomy SMT The full citation details ... 2017 DBLP  BibTeX  RDF
1Gergely Kovásznai, Csaba Biró, Balazs Erdelyi Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers. Search on Bibsonomy SMT The full citation details ... 2017 DBLP  BibTeX  RDF
1Martin Brain, Liana Hadarean (eds.) Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22 - 23, 2017. Search on Bibsonomy SMT The full citation details ... 2017 DBLP  BibTeX  RDF
1Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina Visualising SMT-Based Parallel Constraint Solving. Search on Bibsonomy SMT The full citation details ... 2017 DBLP  BibTeX  RDF
1Jochen Hoenicke, Tanja Schindler Efficient Interpolation for the Theory of Arrays. Search on Bibsonomy SMT The full citation details ... 2017 DBLP  BibTeX  RDF
1Stéphane Graham-Lengrand, Dejan Jovanovic An MCSAT treatment of Bit-Vectors. Search on Bibsonomy SMT The full citation details ... 2017 DBLP  BibTeX  RDF
1Aina Niemetz, Mathias Preiner, Armin Biere Model-Based API Testing for SMT Solvers. Search on Bibsonomy SMT The full citation details ... 2017 DBLP  BibTeX  RDF
1Giles Reger, Martin Suda 0001, Andrei Voronkov Instantiation and Pretending to be an SMT Solver with Vampire. Search on Bibsonomy SMT The full citation details ... 2017 DBLP  BibTeX  RDF
1James Davenport SMT Nonlinear Real Arithmetic and Computer Algebra: a Dialogue of the Deaf? Search on Bibsonomy SMT The full citation details ... 2017 DBLP  BibTeX  RDF
1Francesco Alberti, Silvio Ghilardi, Natasha Sharygina Decision Procedures for Flat Array Properties. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Edmund S. L. Lam, Iliano Cervesato Reasoning About Set Comprehensions. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Konstantin Korovin, Marek Kosta, Thomas Sturm 0001 Towards Conflict-Driven Learning for Virtual Substitution. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Daniel J. Fremont, Sanjit A. Seshia Speeding Up SMT-Based Quantitative Program Analysis. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1To Van Khanh, Xuan-Tung Vu, Mizuhito Ogawa raSAT: SMT for Polynomial Inequality. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Tim King 0001, Clark W. Barrett, Cesare Tinelli Leveraging Linear and Mixed Integer Programming for SMT. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Hristina Palikareva, Cristian Cadar Multi-solver Support in Symbolic Execution. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Mats Carlsson, Olga Grinchtein, Justin Pearson Protocol Log Analysis with Constraint Programming. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Philipp Rümmer, Christoph M. Wintersteiger (eds.) Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, affiliated with the 26th International Conference on Computer Aided Verification (CAV 2014), the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), and the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014), Vienna, Austria, July 17-18, 2014. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Richard Bonichon, David Déharbe, Cláudia Tavares Extending SMT-LIB v2 with λ-Terms and Polymorphism. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Guillaume Melquiond Automating the Verification of Floating-Point Algorithms. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Clark W. Barrett SMT: Where do we go from here? Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Marek Kosta, Thomas Sturm 0001, Andreas Dolzmann Better Answers to Real Questions. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
1Jürgen Christ, Jochen Hoenicke Weakly Equivalent Arrays. Search on Bibsonomy SMT The full citation details ... 2014 DBLP  BibTeX  RDF
Displaying result #1 - #71 of 71 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license