Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/smt/BarNAB23,
  author       = {Philipp B{\"{a}}r and
                  Jasper Nalbach and
                  Erika {\'{A}}brah{\'{a}}m and
                  Christopher W. Brown},
  editor       = {St{\'{e}}phane Graham{-}Lengrand and
                  Mathias Preiner},
  title        = {Exploiting Strict Constraints in the Cylindrical Algebraic Covering},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3429},
  pages        = {33--45},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3429/paper13.pdf},
  timestamp    = {Fri, 04 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smt/BarNAB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/BeguetA23,
  author       = {Romain B{\'{e}}guet and
                  Rapha{\"{e}}l Amiard},
  editor       = {St{\'{e}}phane Graham{-}Lengrand and
                  Mathias Preiner},
  title        = {Application of {SMT} in a Meta-Compiler: {A} Logic {DSL} for Specifying
                  Type Systems},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3429},
  pages        = {46--61},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3429/short7.pdf},
  timestamp    = {Wed, 05 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smt/BeguetA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/BuryB23,
  author       = {Guillaume Bury and
                  Fran{\c{c}}ois Bobot},
  editor       = {St{\'{e}}phane Graham{-}Lengrand and
                  Mathias Preiner},
  title        = {Verifying Models with Dolmen},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3429},
  pages        = {62--70},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3429/short9.pdf},
  timestamp    = {Wed, 05 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smt/BuryB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/JakubuvJPP023,
  author       = {Jan Jakubuv and
                  Mikol{\'{a}}s Janota and
                  Bartosz Piotrowski and
                  Jelle Piepenbrock and
                  Andrew Reynolds},
  editor       = {St{\'{e}}phane Graham{-}Lengrand and
                  Mathias Preiner},
  title        = {Selecting Quantifiers for Instantiation in {SMT}},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3429},
  pages        = {71--77},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3429/short10.pdf},
  timestamp    = {Wed, 05 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smt/JakubuvJPP023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/LachnittFA0BNBT23,
  author       = {Hanna Lachnitt and
                  Mathias Fleury and
                  Leni Aniva and
                  Andrew Reynolds and
                  Haniel Barbosa and
                  Andres N{\"{o}}tzli and
                  Clark W. Barrett and
                  Cesare Tinelli},
  editor       = {St{\'{e}}phane Graham{-}Lengrand and
                  Mathias Preiner},
  title        = {Automatic Verification of {SMT} Rewrites in Isabelle/HOL},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3429},
  pages        = {78},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3429/abstract14.pdf},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smt/LachnittFA0BNBT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/LynchM23,
  author       = {Christopher Lynch and
                  Stephen Miner},
  editor       = {St{\'{e}}phane Graham{-}Lengrand and
                  Mathias Preiner},
  title        = {Complete Trigger Selection in Satisfiability Modulo First-Order Theories},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3429},
  pages        = {18--32},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3429/paper11.pdf},
  timestamp    = {Wed, 05 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smt/LynchM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/Padon23,
  author       = {Oded Padon},
  editor       = {St{\'{e}}phane Graham{-}Lengrand and
                  Mathias Preiner},
  title        = {Invited Talk: Deductive Verification of Distributed Protocols in Decidable
                  Logics},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3429},
  pages        = {1},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3429/invited1.pdf},
  timestamp    = {Wed, 05 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smt/Padon23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/SoureshjaniHJKG23,
  author       = {Fatemeh Heidari Soureshjani and
                  Mathias Hall{-}Andersen and
                  MohammadMahdi Jahanara and
                  Jeffrey Kam and
                  Jan Gorzny and
                  Mohsen Ahmadvand},
  editor       = {St{\'{e}}phane Graham{-}Lengrand and
                  Mathias Preiner},
  title        = {Automated Analysis of Halo2 Circuits},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3429},
  pages        = {3--17},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3429/paper3.pdf},
  timestamp    = {Wed, 05 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smt/SoureshjaniHJKG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/Whalen23,
  author       = {Michael Whalen},
  editor       = {St{\'{e}}phane Graham{-}Lengrand and
                  Mathias Preiner},
  title        = {Invited Talk: {SAT} and {SMT} Solving at Cloud Scale},
  booktitle    = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3429},
  pages        = {2},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3429/invited2.pdf},
  timestamp    = {Wed, 05 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smt/Whalen23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/smt/2023,
  editor       = {St{\'{e}}phane Graham{-}Lengrand and
                  Mathias Preiner},
  title        = {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},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3429},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3429},
  urn          = {urn:nbn:de:0074-3429-2},
  timestamp    = {Wed, 05 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smt/2023.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.