Search dblp for Publications

export results for "toc:db/conf/cade/ijcar2016.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cade/0001K16,
  author       = {Takahito Aoto and
                  Kentaro Kikuchi},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Nominal Confluence Tool},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {173--182},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_12},
  doi          = {10.1007/978-3-319-40229-1\_12},
  timestamp    = {Mon, 26 Jun 2023 20:45:22 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/0001K16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/AlbertiGP16,
  author       = {Francesco Alberti and
                  Silvio Ghilardi and
                  Elena Pagani},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Counting Constraints in Flat Array Fragments},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {65--81},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_6},
  doi          = {10.1007/978-3-319-40229-1\_6},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/AlbertiGP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/AminofR16,
  author       = {Benjamin Aminof and
                  Sasha Rubin},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Model Checking Parameterised Multi-token Systems via the Composition
                  Method},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {499--515},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_34},
  doi          = {10.1007/978-3-319-40229-1\_34},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/AminofR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/AthanasiouLW16,
  author       = {Konstantinos Athanasiou and
                  Peizun Liu and
                  Thomas Wahl},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Unbounded-Thread Program Verification using Thread-State Equations},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {516--531},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_35},
  doi          = {10.1007/978-3-319-40229-1\_35},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/AthanasiouLW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Avron16,
  author       = {Arnon Avron},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {A Logical Framework for Developing and Mechanizing Set Theories},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {3--8},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_1},
  doi          = {10.1007/978-3-319-40229-1\_1},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Avron16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BansalRBT16,
  author       = {Kshitij Bansal and
                  Andrew Reynolds and
                  Clark W. Barrett and
                  Cesare Tinelli},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {A New Decision Procedure for Finite Sets and Cardinality Constraints
                  in {SMT}},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {82--98},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_7},
  doi          = {10.1007/978-3-319-40229-1\_7},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BansalRBT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BlanchetteFW16,
  author       = {Jasmin Christian Blanchette and
                  Mathias Fleury and
                  Christoph Weidenbach},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {A Verified {SAT} Solver Framework with Learn, Forget, Restart, and
                  Incrementality},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {25--44},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_4},
  doi          = {10.1007/978-3-319-40229-1\_4},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BlanchetteFW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Boudou16,
  author       = {Joseph Boudou},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Complexity Optimal Decision Procedure for a Propositional Dynamic
                  Logic with Parallel Composition},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {373--388},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_26},
  doi          = {10.1007/978-3-319-40229-1\_26},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Boudou16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BozzelliMMPS16,
  author       = {Laura Bozzelli and
                  Alberto Molinari and
                  Angelo Montanari and
                  Adriano Peron and
                  Pietro Sala},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Interval Temporal Logic Model Checking: The Border Between Good and
                  Bad {HS} Fragments},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {389--405},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_27},
  doi          = {10.1007/978-3-319-40229-1\_27},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BozzelliMMPS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BrombergerW16,
  author       = {Martin Bromberger and
                  Christoph Weidenbach},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Fast Cube Tests for {LIA} Constraint Solving},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {116--132},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_9},
  doi          = {10.1007/978-3-319-40229-1\_9},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BrombergerW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/CernaL16,
  author       = {David M. Cerna and
                  Alexander Leitsch},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Schematic Cut Elimination and the Ordered Pigeonhole Principle},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {241--256},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_17},
  doi          = {10.1007/978-3-319-40229-1\_17},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/CernaL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/CostaM16,
  author       = {Diana Costa and
                  Manuel A. Martins},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {A Tableau System for Quasi-Hybrid Logic},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {435--451},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_30},
  doi          = {10.1007/978-3-319-40229-1\_30},
  timestamp    = {Wed, 21 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/CostaM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/DawsonBG16,
  author       = {Jeremy E. Dawson and
                  James Brotherston and
                  Rajeev Gor{\'{e}}},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Machine-Checked Interpolation Theorems for Substructural Logics Using
                  Display Calculi},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {452--468},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_31},
  doi          = {10.1007/978-3-319-40229-1\_31},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/DawsonBG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/DochertyP16,
  author       = {Simon Docherty and
                  David J. Pym},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Intuitionistic Layered Graph Logic},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {469--486},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_32},
  doi          = {10.1007/978-3-319-40229-1\_32},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/DochertyP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/DuranEEMMT16,
  author       = {Francisco Dur{\'{a}}n and
                  Steven Eker and
                  Santiago Escobar and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Carolyn L. Talcott},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Built-in Variant Generation and Unification, and Their Applications
                  in Maude 2.7},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {183--192},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_13},
  doi          = {10.1007/978-3-319-40229-1\_13},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/DuranEEMMT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/EbnerHRRWZ16,
  author       = {Gabriel Ebner and
                  Stefan Hetzl and
                  Giselle Reis and
                  Martin Riener and
                  Simon Wolfsteiner and
                  Sebastian Zivota},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {System Description: {GAPT} 2.0},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {293--301},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_20},
  doi          = {10.1007/978-3-319-40229-1\_20},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/EbnerHRRWZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/FarberB16,
  author       = {Michael F{\"{a}}rber and
                  Chad E. Brown},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Internal Guidance for Satallax},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {349--361},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_24},
  doi          = {10.1007/978-3-319-40229-1\_24},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/FarberB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/FrohnNHBG16,
  author       = {Florian Frohn and
                  Matthias Naaf and
                  Jera Hensel and
                  Marc Brockschmidt and
                  J{\"{u}}rgen Giesl},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Lower Runtime Bounds for Integer Programs},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {550--567},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_37},
  doi          = {10.1007/978-3-319-40229-1\_37},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/FrohnNHBG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/GanDXZKC16,
  author       = {Ting Gan and
                  Liyun Dai and
                  Bican Xia and
                  Naijun Zhan and
                  Deepak Kapur and
                  Mingshuai Chen},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination
                  with {EUF}},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {195--212},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_14},
  doi          = {10.1007/978-3-319-40229-1\_14},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GanDXZKC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/GuCW16,
  author       = {Xincai Gu and
                  Taolue Chen and
                  Zhilin Wu},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {A Complete Decision Procedure for Linearly Compositional Separation
                  Logic with Data Constraints},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {532--549},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_36},
  doi          = {10.1007/978-3-319-40229-1\_36},
  timestamp    = {Mon, 02 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GuCW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Gulwani16,
  author       = {Sumit Gulwani},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Programming by Examples: Applications, Algorithms, and Ambiguity Resolution},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {9--14},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_2},
  doi          = {10.1007/978-3-319-40229-1\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Gulwani16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/HoderR0V16,
  author       = {Krystof Hoder and
                  Giles Reger and
                  Martin Suda and
                  Andrei Voronkov},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Selecting the Selection},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {313--329},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_22},
  doi          = {10.1007/978-3-319-40229-1\_22},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/HoderR0V16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/HupelK16,
  author       = {Lars Hupel and
                  Viktor Kuncak},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Translating Scala Programs to Isabelle/HOL - System Description},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {568--577},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_38},
  doi          = {10.1007/978-3-319-40229-1\_38},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/HupelK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/KieslSTB16,
  author       = {Benjamin Kiesl and
                  Martina Seidl and
                  Hans Tompits and
                  Armin Biere},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Super-Blocked Clauses},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {45--61},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_5},
  doi          = {10.1007/978-3-319-40229-1\_5},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/KieslSTB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/MatsuzakiIKZFKA16,
  author       = {Takuya Matsuzaki and
                  Hidenao Iwane and
                  Munehiro Kobayashi and
                  Yiyang Zhan and
                  Ryoya Fukasaku and
                  Jumma Kudo and
                  Hirokazu Anai and
                  Noriko H. Arai},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Race Against the Teens - Benchmarking Mechanized Math on Pre-university
                  Problems},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {213--227},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_15},
  doi          = {10.1007/978-3-319-40229-1\_15},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/MatsuzakiIKZFKA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/NalonHD16,
  author       = {Cl{\'{a}}udia Nalon and
                  Ullrich Hustadt and
                  Clare Dixon},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {: {A} Resolution-Based Prover for Multimodal {K}},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {406--415},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_28},
  doi          = {10.1007/978-3-319-40229-1\_28},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/NalonHD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Nivelle16,
  author       = {Hans de Nivelle},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Subsumption Algorithms for Three-Valued Geometric Resolution},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {257--272},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_18},
  doi          = {10.1007/978-3-319-40229-1\_18},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Nivelle16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Otten16,
  author       = {Jens Otten},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {nanoCoP: {A} Non-clausal Connection Prover},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {302--312},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_21},
  doi          = {10.1007/978-3-319-40229-1\_21},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Otten16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Platzer16,
  author       = {Andr{\'{e}} Platzer},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Logic {\&} Proofs for Cyber-Physical Systems},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {15--21},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_3},
  doi          = {10.1007/978-3-319-40229-1\_3},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Platzer16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Ramanayake16,
  author       = {Revantha Ramanayake},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Inducing Syntactic Cut-Elimination for Indexed Nested Sequents},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {416--432},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_29},
  doi          = {10.1007/978-3-319-40229-1\_29},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Ramanayake16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ReynoldsBCT16,
  author       = {Andrew Reynolds and
                  Jasmin Christian Blanchette and
                  Simon Cruanes and
                  Cesare Tinelli},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Model Finding for Recursive Functions in {SMT}},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {133--151},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_10},
  doi          = {10.1007/978-3-319-40229-1\_10},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ReynoldsBCT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/SchulzM16,
  author       = {Stephan Schulz and
                  Martin M{\"{o}}hrmann},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Performance of Clause Selection Heuristics for Saturation-Based Theorem
                  Proving},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {330--345},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_23},
  doi          = {10.1007/978-3-319-40229-1\_23},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/SchulzM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Sebastiani16,
  author       = {Roberto Sebastiani},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Colors Make Theories Hard},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {152--170},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_11},
  doi          = {10.1007/978-3-319-40229-1\_11},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Sebastiani16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/SelsamM16,
  author       = {Daniel Selsam and
                  Leonardo de Moura},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Congruence Closure in Intensional Type Theory},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {99--115},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_8},
  doi          = {10.1007/978-3-319-40229-1\_8},
  timestamp    = {Thu, 29 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/SelsamM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Sofronie-Stokkermans16,
  author       = {Viorica Sofronie{-}Stokkermans},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {On Interpolation and Symbol Elimination in Theory Extensions},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {273--289},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_19},
  doi          = {10.1007/978-3-319-40229-1\_19},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Sofronie-Stokkermans16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/TungKO16,
  author       = {Vu Xuan Tung and
                  To Van Khanh and
                  Mizuhito Ogawa},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {raSAT: An {SMT} Solver for Polynomial Constraints},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {228--237},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_16},
  doi          = {10.1007/978-3-319-40229-1\_16},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/TungKO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/WisniewskiSKB16,
  author       = {Max Wisniewski and
                  Alexander Steen and
                  Kim Kern and
                  Christoph Benzm{\"{u}}ller},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Effective Normalization Techniques for {HOL}},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {362--370},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_25},
  doi          = {10.1007/978-3-319-40229-1\_25},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/WisniewskiSKB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ZoharZ16,
  author       = {Yoni Zohar and
                  Anna Zamansky},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure
                  Sequent Calculi},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {487--495},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_33},
  doi          = {10.1007/978-3-319-40229-1\_33},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ZoharZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cade/2016,
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1},
  doi          = {10.1007/978-3-319-40229-1},
  isbn         = {978-3-319-40228-4},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/2016.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.