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}
}

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.