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

François Bobot and Tjark Weber, editors. Volume 2854 of CEUR Workshop Proceedings. CEUR-WS.org, 2021.

Download

• TGZ (compressed PDFs) (2.9 MB)

BibTeX

@proceedings{bobot21proceedings,
  editor    = {Fran{\c{c}}ois Bobot and Tjark Weber},
  title     = {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},
  volume    = {2854},
  series    = {{CEUR} Workshop Proceedings},
  publisher = {CEUR-WS.org},
  year      = {2021},
  url       = {http://ceur-ws.org/Vol-2854},
  urn       = {urn:nbn:de:0074-2854-1}
}