Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/smt/BobotCM17,
  author       = {Fran{\c{c}}ois Bobot and
                  Zakaria Chihani and
                  Bruno Marre},
  editor       = {Martin Brain and
                  Liana Hadarean},
  title        = {Real Behavior of Floating Point},
  booktitle    = {Proceedings of the 15th International Workshop on Satisfiability Modulo
                  Theories affiliated with the International Conference on Computer-Aided
                  Verification {(CAV} 2017), Heidelberg, Germany, July 22 - 23, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1889},
  pages        = {50--62},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1889/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:48 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/BobotCM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/BudakovicMHS17,
  author       = {Jelena Budakovic and
                  Matteo Marescotti and
                  Antti E. J. Hyv{\"{a}}rinen and
                  Natasha Sharygina},
  editor       = {Martin Brain and
                  Liana Hadarean},
  title        = {Visualising SMT-Based Parallel Constraint Solving},
  booktitle    = {Proceedings of the 15th International Workshop on Satisfiability Modulo
                  Theories affiliated with the International Conference on Computer-Aided
                  Verification {(CAV} 2017), Heidelberg, Germany, July 22 - 23, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1889},
  pages        = {40--49},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1889/paper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/BudakovicMHS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/Davenport17,
  author       = {James Davenport},
  editor       = {Martin Brain and
                  Liana Hadarean},
  title        = {{SMT} Nonlinear Real Arithmetic and Computer Algebra: a Dialogue of
                  the Deaf?},
  booktitle    = {Proceedings of the 15th International Workshop on Satisfiability Modulo
                  Theories affiliated with the International Conference on Computer-Aided
                  Verification {(CAV} 2017), Heidelberg, Germany, July 22 - 23, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1889},
  pages        = {1},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1889/invited1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/Davenport17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/Graham-Lengrand17,
  author       = {St{\'{e}}phane Graham{-}Lengrand and
                  Dejan Jovanovic},
  editor       = {Martin Brain and
                  Liana Hadarean},
  title        = {An {MCSAT} treatment of Bit-Vectors},
  booktitle    = {Proceedings of the 15th International Workshop on Satisfiability Modulo
                  Theories affiliated with the International Conference on Computer-Aided
                  Verification {(CAV} 2017), Heidelberg, Germany, July 22 - 23, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1889},
  pages        = {89--100},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1889/paper8.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/Graham-Lengrand17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/HoenickeS17,
  author       = {Jochen Hoenicke and
                  Tanja Schindler},
  editor       = {Martin Brain and
                  Liana Hadarean},
  title        = {Efficient Interpolation for the Theory of Arrays},
  booktitle    = {Proceedings of the 15th International Workshop on Satisfiability Modulo
                  Theories affiliated with the International Conference on Computer-Aided
                  Verification {(CAV} 2017), Heidelberg, Germany, July 22 - 23, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1889},
  pages        = {76--88},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1889/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/HoenickeS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/JovanovicD17,
  author       = {Dejan Jovanovic and
                  Bruno Dutertre},
  editor       = {Martin Brain and
                  Liana Hadarean},
  title        = {LibPoly: {A} Library for Reasoning about Polynomials},
  booktitle    = {Proceedings of the 15th International Workshop on Satisfiability Modulo
                  Theories affiliated with the International Conference on Computer-Aided
                  Verification {(CAV} 2017), Heidelberg, Germany, July 22 - 23, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1889},
  pages        = {28--39},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1889/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/JovanovicD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/KovasznaiBE17,
  author       = {Gergely Kov{\'{a}}sznai and
                  Csaba Bir{\'{o}} and
                  Balazs Erdelyi},
  editor       = {Martin Brain and
                  Liana Hadarean},
  title        = {Generating Optimal Scheduling for Wireless Sensor Networks by Using
                  Optimization Modulo Theories Solvers},
  booktitle    = {Proceedings of the 15th International Workshop on Satisfiability Modulo
                  Theories affiliated with the International Conference on Computer-Aided
                  Verification {(CAV} 2017), Heidelberg, Germany, July 22 - 23, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1889},
  pages        = {15--27},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1889/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/KovasznaiBE17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/NiemetzPB17,
  author       = {Aina Niemetz and
                  Mathias Preiner and
                  Armin Biere},
  editor       = {Martin Brain and
                  Liana Hadarean},
  title        = {Model-Based {API} Testing for {SMT} Solvers},
  booktitle    = {Proceedings of the 15th International Workshop on Satisfiability Modulo
                  Theories affiliated with the International Conference on Computer-Aided
                  Verification {(CAV} 2017), Heidelberg, Germany, July 22 - 23, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1889},
  pages        = {3--14},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1889/paper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/NiemetzPB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/RegerSV17,
  author       = {Giles Reger and
                  Martin Suda and
                  Andrei Voronkov},
  editor       = {Martin Brain and
                  Liana Hadarean},
  title        = {Instantiation and Pretending to be an {SMT} Solver with Vampire},
  booktitle    = {Proceedings of the 15th International Workshop on Satisfiability Modulo
                  Theories affiliated with the International Conference on Computer-Aided
                  Verification {(CAV} 2017), Heidelberg, Germany, July 22 - 23, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1889},
  pages        = {63--75},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1889/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/RegerSV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/Reynolds17,
  author       = {Andrew Reynolds},
  editor       = {Martin Brain and
                  Liana Hadarean},
  title        = {Quantifier Instantiation Beyond E-Matching},
  booktitle    = {Proceedings of the 15th International Workshop on Satisfiability Modulo
                  Theories affiliated with the International Conference on Computer-Aided
                  Verification {(CAV} 2017), Heidelberg, Germany, July 22 - 23, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1889},
  pages        = {2},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1889/invited2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/Reynolds17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smt/VizelNM17,
  author       = {Yakir Vizel and
                  Alexander Nadel and
                  Sharad Malik},
  editor       = {Martin Brain and
                  Liana Hadarean},
  title        = {Solving Constraints over Bit-Vectors with SAT-based Model Checking},
  booktitle    = {Proceedings of the 15th International Workshop on Satisfiability Modulo
                  Theories affiliated with the International Conference on Computer-Aided
                  Verification {(CAV} 2017), Heidelberg, Germany, July 22 - 23, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1889},
  pages        = {101--107},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1889/paper9.pdf},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smt/VizelNM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/smt/2017,
  editor       = {Martin Brain and
                  Liana Hadarean},
  title        = {Proceedings of the 15th International Workshop on Satisfiability Modulo
                  Theories affiliated with the International Conference on Computer-Aided
                  Verification {(CAV} 2017), Heidelberg, Germany, July 22 - 23, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1889},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1889},
  urn          = {urn:nbn:de:0074-1889-9},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/2017.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.