Stop the war!

Остановите войну!

for scientists:

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

a service of

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.