default search action

combined dblp search
author search
venue search
publication search

ask others

SMT 2020: Virtual Event

> Home > Conferences and Workshops > SMT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/smt/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/2020
François Bobot, Tjark Weber:
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. CEUR Workshop Proceedings 2854, CEUR-WS.org 2021

Invited Talks

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/Rummer20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/Rummer20
Philipp Rümmer:
Invited Talk: Solving String Constraints, Starting from the Beginning and from the End. 1
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/Sagiv20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/Sagiv20
Mooly Sagiv:
Invited Talk: Harnessing SMT Solvers for Verifying Low Level Programs. 2

Contributed Papers

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/TourretFOB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/TourretFOB20
Sophie Tourret, Pascal Fontaine, Daniel El Ouraoui, Haniel Barbosa:
Lifting Congruence Closure with Free Variables to λ-free Higher-order Logic via SAT Encoding. 3-14
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/Dutertre20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/Dutertre20
Bruno Dutertre:
An Empirical Evaluation of SAT Solvers on Bit-vector Problems. 15-25
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/KimM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/KimM20
Seonmo Kim, Stephen McCamant:
Structural Bit-vector Model Counting. 26-36
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/ManglaHP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/ManglaHP20
Chaitanya Mangla, Sean B. Holden, Lawrence C. Paulson:
Bayesian Optimisation of Solver Parameters in CBMC. 37-47
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/MannWTB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/MannWTB20
Makai Mann, Amalee Wilson, Cesare Tinelli, Clark W. Barrett:
Smt-Switch: A Solver-agnostic C++ API for SMT Solving. 48-58

Presentation-only Papers (Abstracts)

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/HajduJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/HajduJ20
Ákos Hajdu, Dejan Jovanovic:
Abstract: SMT-Friendly Formalization of the Solidity Memory Model. 59
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/EsenR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/EsenR20
Zafer Esen, Philipp Rümmer:
Abstract: Towards an SMT-LIB Theory of Heap. 60
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/ScottMG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/ScottMG20
Joseph Scott, Federico Mora, Vijay Ganesh:
Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers. 61
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/ScottNPG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/ScottNPG20
Joseph Scott, Aina Niemetz, Mathias Preiner, Vijay Ganesh:
Abstract: MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. 62

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.