Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/smt/2007,
  editor       = {Sava Krstic and
                  Albert Oliveras},
  title        = {Proceedings of the 5th International Workshop on Satisfiability Modulo
                  Theories, SMT@CAV 2007, Berlin, Germany, July 1-2, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {198},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/198/issue/2},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smt/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BongioKLLM08,
  author       = {Jeremy Bongio and
                  Cyrus Katrak and
                  Hai Lin and
                  Christopher Lynch and
                  Ralph Eric McGregor},
  editor       = {Sava Krstic and
                  Albert Oliveras},
  title        = {Encoding First Order Proofs in {SMT}},
  booktitle    = {Proceedings of the 5th International Workshop on Satisfiability Modulo
                  Theories, SMT@CAV 2007, Berlin, Germany, July 1-2, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {198},
  number       = {2},
  pages        = {71--84},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.081},
  doi          = {10.1016/J.ENTCS.2008.04.081},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BongioKLLM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ConchonCKL08,
  author       = {Sylvain Conchon and
                  Evelyne Contejean and
                  Johannes Kanig and
                  St{\'{e}}phane Lescuyer},
  editor       = {Sava Krstic and
                  Albert Oliveras},
  title        = {{CC(X):} Semantic Combination of Congruence Closure with Solvable
                  Theories},
  booktitle    = {Proceedings of the 5th International Workshop on Satisfiability Modulo
                  Theories, SMT@CAV 2007, Berlin, Germany, July 1-2, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {198},
  number       = {2},
  pages        = {51--69},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.080},
  doi          = {10.1016/J.ENTCS.2008.04.080},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ConchonCKL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KrsticO08,
  author       = {Sava Krstic and
                  Albert Oliveras},
  editor       = {Sava Krstic and
                  Albert Oliveras},
  title        = {Preface},
  booktitle    = {Proceedings of the 5th International Workshop on Satisfiability Modulo
                  Theories, SMT@CAV 2007, Berlin, Germany, July 1-2, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {198},
  number       = {2},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.076},
  doi          = {10.1016/J.ENTCS.2008.04.076},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KrsticO08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MoskalLK08,
  author       = {Michal Moskal and
                  Jakub Lopuszanski and
                  Joseph R. Kiniry},
  editor       = {Sava Krstic and
                  Albert Oliveras},
  title        = {E-matching for Fun and Profit},
  booktitle    = {Proceedings of the 5th International Workshop on Satisfiability Modulo
                  Theories, SMT@CAV 2007, Berlin, Germany, July 1-2, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {198},
  number       = {2},
  pages        = {19--35},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.078},
  doi          = {10.1016/J.ENTCS.2008.04.078},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MoskalLK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MouraB08,
  author       = {Leonardo Mendon{\c{c}}a de Moura and
                  Nikolaj S. Bj{\o}rner},
  editor       = {Sava Krstic and
                  Albert Oliveras},
  title        = {Model-based Theory Combination},
  booktitle    = {Proceedings of the 5th International Workshop on Satisfiability Modulo
                  Theories, SMT@CAV 2007, Berlin, Germany, July 1-2, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {198},
  number       = {2},
  pages        = {37--49},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.079},
  doi          = {10.1016/J.ENTCS.2008.04.079},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MouraB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/RozanovS08,
  author       = {Mirron Rozanov and
                  Ofer Strichman},
  editor       = {Sava Krstic and
                  Albert Oliveras},
  title        = {Generating Minimum Transitivity Constraints in P-time for Deciding
                  Equality Logic},
  booktitle    = {Proceedings of the 5th International Workshop on Satisfiability Modulo
                  Theories, SMT@CAV 2007, Berlin, Germany, July 1-2, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {198},
  number       = {2},
  pages        = {3--17},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.077},
  doi          = {10.1016/J.ENTCS.2008.04.077},
  timestamp    = {Mon, 13 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RozanovS08.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.