Search dblp for Publications

export results for "toc:db/conf/smt/smt2020.bht:"

 download as .bib file

@proceedings{DBLP:conf/smt/2020,
  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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2854},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2854},
  urn          = {urn:nbn:de:0074-2854-1},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/2020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/Dutertre20,
  author       = {Bruno Dutertre},
  editor       = {Fran{\c{c}}ois Bobot and
                  Tjark Weber},
  title        = {An Empirical Evaluation of {SAT} Solvers on Bit-vector Problems},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2854},
  pages        = {15--25},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2854/paper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:48 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/Dutertre20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/EsenR20,
  author       = {Zafer Esen and
                  Philipp R{\"{u}}mmer},
  editor       = {Fran{\c{c}}ois Bobot and
                  Tjark Weber},
  title        = {Abstract: Towards an {SMT-LIB} Theory of Heap},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2854},
  pages        = {60},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2854/abstract4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/EsenR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/HajduJ20,
  author       = {{\'{A}}kos Hajdu and
                  Dejan Jovanovic},
  editor       = {Fran{\c{c}}ois Bobot and
                  Tjark Weber},
  title        = {Abstract: SMT-Friendly Formalization of the Solidity Memory Model},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2854},
  pages        = {59},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2854/abstract3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/HajduJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/KimM20,
  author       = {Seonmo Kim and
                  Stephen McCamant},
  editor       = {Fran{\c{c}}ois Bobot and
                  Tjark Weber},
  title        = {Structural Bit-vector Model Counting},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2854},
  pages        = {26--36},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2854/short2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/KimM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/ManglaHP20,
  author       = {Chaitanya Mangla and
                  Sean B. Holden and
                  Lawrence C. Paulson},
  editor       = {Fran{\c{c}}ois Bobot and
                  Tjark Weber},
  title        = {Bayesian Optimisation of Solver Parameters in {CBMC}},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2854},
  pages        = {37--47},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2854/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/ManglaHP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/MannWTB20,
  author       = {Makai Mann and
                  Amalee Wilson and
                  Cesare Tinelli and
                  Clark W. Barrett},
  editor       = {Fran{\c{c}}ois Bobot and
                  Tjark Weber},
  title        = {Smt-Switch: {A} Solver-agnostic {C++} {API} for {SMT} Solving},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2854},
  pages        = {48--58},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2854/short3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/MannWTB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/Rummer20,
  author       = {Philipp R{\"{u}}mmer},
  editor       = {Fran{\c{c}}ois Bobot and
                  Tjark Weber},
  title        = {Invited Talk: Solving String Constraints, Starting from the Beginning
                  and from the End},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2854},
  pages        = {1},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2854/abstract1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/Rummer20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/Sagiv20,
  author       = {Mooly Sagiv},
  editor       = {Fran{\c{c}}ois Bobot and
                  Tjark Weber},
  title        = {Invited Talk: Harnessing {SMT} Solvers for Verifying Low Level Programs},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2854},
  pages        = {2},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2854/abstract2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/Sagiv20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/ScottMG20,
  author       = {Joseph Scott and
                  Federico Mora and
                  Vijay Ganesh},
  editor       = {Fran{\c{c}}ois Bobot and
                  Tjark Weber},
  title        = {Abstract: BanditFuzz: {A} Reinforcement-Learning based Performance
                  Fuzzer for {SMT} Solvers},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2854},
  pages        = {61},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2854/abstract5.pdf},
  timestamp    = {Mon, 01 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smt/ScottMG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/ScottNPG20,
  author       = {Joseph Scott and
                  Aina Niemetz and
                  Mathias Preiner and
                  Vijay Ganesh},
  editor       = {Fran{\c{c}}ois Bobot and
                  Tjark Weber},
  title        = {Abstract: MachSMT: {A} Machine Learning-based Algorithm Selector for
                  {SMT} Solvers},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2854},
  pages        = {62},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2854/abstract6.pdf},
  timestamp    = {Mon, 01 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smt/ScottNPG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/TourretFOB20,
  author       = {Sophie Tourret and
                  Pascal Fontaine and
                  Daniel El Ouraoui and
                  Haniel Barbosa},
  editor       = {Fran{\c{c}}ois Bobot and
                  Tjark Weber},
  title        = {Lifting Congruence Closure with Free Variables to {\(\lambda\)}-free
                  Higher-order Logic via {SAT} Encoding},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2854},
  pages        = {3--14},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2854/short1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/TourretFOB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.