Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/smt/pdpar2005.bht:"
download as .bib file
@proceedings{DBLP:conf/smt/2005,
editor = {Alessandro Armando and
Alessandro Cimatti},
title = {Proceedings of the Third Workshop on Pragmatics of Decision Procedures
in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {2},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/144/issue/2},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smt/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArmandoC06,
author = {Alessandro Armando and
Alessandro Cimatti},
editor = {Alessandro Armando and
Alessandro Cimatti},
title = {Preface},
booktitle = {Proceedings of the Third Workshop on Pragmatics of Decision Procedures
in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {2},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.002},
doi = {10.1016/J.ENTCS.2005.12.002},
timestamp = {Fri, 16 Dec 2022 10:24:43 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArmandoC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BozzanoBCFHKPS06,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Anders Franz{\'{e}}n and
Ziyad Hanna and
Zurab Khasidashvili and
Amit Palti and
Roberto Sebastiani},
editor = {Alessandro Armando and
Alessandro Cimatti},
title = {Encoding {RTL} Constructs for MathSAT: a Preliminary Report},
booktitle = {Proceedings of the Third Workshop on Pragmatics of Decision Procedures
in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {2},
pages = {3--14},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.001},
doi = {10.1016/J.ENTCS.2005.12.001},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BozzanoBCFHKPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrundyMKM06,
author = {Jim Grundy and
Thomas F. Melham and
Sava Krstic and
Sean McLaughlin},
editor = {Alessandro Armando and
Alessandro Cimatti},
title = {Tool Building Requirements for an {API} to First-Order Solvers},
booktitle = {Proceedings of the Third Workshop on Pragmatics of Decision Procedures
in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {2},
pages = {15--26},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.003},
doi = {10.1016/J.ENTCS.2005.12.003},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrundyMKM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LahiriM06,
author = {Shuvendu K. Lahiri and
Madanlal Musuvathi},
editor = {Alessandro Armando and
Alessandro Cimatti},
title = {An Efficient Nelson-Oppen Decision Procedure for Difference Constraints
over Rationals},
booktitle = {Proceedings of the Third Workshop on Pragmatics of Decision Procedures
in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {2},
pages = {27--41},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.004},
doi = {10.1016/J.ENTCS.2005.12.004},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LahiriM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/McLaughlinBG06,
author = {Sean McLaughlin and
Clark W. Barrett and
Yeting Ge},
editor = {Alessandro Armando and
Alessandro Cimatti},
title = {Cooperating Theorem Provers: {A} Case Study Combining HOL-Light and
{CVC} Lite},
booktitle = {Proceedings of the Third Workshop on Pragmatics of Decision Procedures
in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {2},
pages = {43--51},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.005},
doi = {10.1016/J.ENTCS.2005.12.005},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/McLaughlinBG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PnueliS06,
author = {Amir Pnueli and
Ofer Strichman},
editor = {Alessandro Armando and
Alessandro Cimatti},
title = {Reduced Functional Consistency of Uninterpreted Functions},
booktitle = {Proceedings of the Third Workshop on Pragmatics of Decision Procedures
in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {2},
pages = {53--65},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.006},
doi = {10.1016/J.ENTCS.2005.12.006},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PnueliS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Weber06,
author = {Tjark Weber},
editor = {Alessandro Armando and
Alessandro Cimatti},
title = {Integrating a {SAT} Solver with an LCF-style Theorem Prover},
booktitle = {Proceedings of the Third Workshop on Pragmatics of Decision Procedures
in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {2},
pages = {67--78},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.007},
doi = {10.1016/J.ENTCS.2005.12.007},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Weber06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WehrmanS06,
author = {Ian Wehrman and
Aaron Stump},
editor = {Alessandro Armando and
Alessandro Cimatti},
title = {Mining Propositional Simplification Proofs for Small Validating Clauses},
booktitle = {Proceedings of the Third Workshop on Pragmatics of Decision Procedures
in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {2},
pages = {79--91},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.008},
doi = {10.1016/J.ENTCS.2005.12.008},
timestamp = {Fri, 16 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/WehrmanS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-24 06:10 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
