Search dblp for Publications

export results for "toc:db/conf/paar/paar2022.bht:"

 download as .bib file

@inproceedings{DBLP:conf/paar/000122,
  author       = {Stephan Schulz},
  editor       = {Boris Konev and
                  Claudia Schon and
                  Alexander Steen},
  title        = {Empirical Properties of Term Orderings for Superposition},
  booktitle    = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
                  Co-located with the 11th International Joint Conference on Automated
                  Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3201},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3201/paper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:34 +0100},
  biburl       = {https://dblp.org/rec/conf/paar/000122.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paar/BonacinaW22,
  author       = {Maria Paola Bonacina and
                  Sarah Winkler},
  editor       = {Boris Konev and
                  Claudia Schon and
                  Alexander Steen},
  title        = {On {SGGS} and Horn Clauses},
  booktitle    = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
                  Co-located with the 11th International Joint Conference on Automated
                  Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3201},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3201/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paar/BonacinaW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paar/BrombergerGLW22,
  author       = {Martin Bromberger and
                  Tobias Gehl and
                  Lorenz Leutgeb and
                  Christoph Weidenbach},
  editor       = {Boris Konev and
                  Claudia Schon and
                  Alexander Steen},
  title        = {A Two-Watched Literal Scheme for First-Order Logic},
  booktitle    = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
                  Co-located with the 11th International Joint Conference on Automated
                  Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3201},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3201/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paar/BrombergerGLW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paar/BrombergerSW22,
  author       = {Martin Bromberger and
                  Simon Schwarz and
                  Christoph Weidenbach},
  editor       = {Boris Konev and
                  Claudia Schon and
                  Alexander Steen},
  title        = {Exploring Partial Models with {SCL}},
  booktitle    = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
                  Co-located with the 11th International Joint Conference on Automated
                  Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3201},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3201/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paar/BrombergerSW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paar/HajduKRV22,
  author       = {M{\'{a}}rton Hajd{\'{u}} and
                  Laura Kov{\'{a}}cs and
                  Michael Rawson and
                  Andrei Voronkov},
  editor       = {Boris Konev and
                  Claudia Schon and
                  Alexander Steen},
  title        = {The Vampire Approach to Induction (short paper)},
  booktitle    = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
                  Co-located with the 11th International Joint Conference on Automated
                  Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3201},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3201/paper9.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paar/HajduKRV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paar/HeisingerSB22,
  author       = {Maximilian Heisinger and
                  Martina Seidl and
                  Armin Biere},
  editor       = {Boris Konev and
                  Claudia Schon and
                  Alexander Steen},
  title        = {QuAPI: Adding Assumptions to Non-Assuming {SAT} {\&} {QBF} Solvers},
  booktitle    = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
                  Co-located with the 11th International Joint Conference on Automated
                  Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3201},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3201/paper1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paar/HeisingerSB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paar/HuchB22,
  author       = {Fabian Huch and
                  Vincent Bode},
  editor       = {Boris Konev and
                  Claudia Schon and
                  Alexander Steen},
  title        = {The Isabelle Community Benchmark},
  booktitle    = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
                  Co-located with the 11th International Joint Conference on Automated
                  Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3201},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3201/paper14.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paar/HuchB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paar/LiangRB22,
  author       = {Chencheng Liang and
                  Philipp R{\"{u}}mmer and
                  Marc Brockschmidt},
  editor       = {Boris Konev and
                  Claudia Schon and
                  Alexander Steen},
  title        = {Exploring Representation of Horn clauses using GNNs},
  booktitle    = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
                  Co-located with the 11th International Joint Conference on Automated
                  Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3201},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3201/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paar/LiangRB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paar/PrusakK22,
  author       = {Grzegorz Prusak and
                  Cezary Kaliszyk},
  editor       = {Boris Konev and
                  Claudia Schon and
                  Alexander Steen},
  title        = {Lazy Paramodulation in Practice},
  booktitle    = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
                  Co-located with the 11th International Joint Conference on Automated
                  Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3201},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3201/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paar/PrusakK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paar/Rawson0HR22,
  author       = {Michael Rawson and
                  Martin Suda and
                  Petra Hozzov{\'{a}} and
                  Giles Reger},
  editor       = {Boris Konev and
                  Claudia Schon and
                  Alexander Steen},
  title        = {Reuse of Introduced Symbols in Automatic Theorem Provers (short paper)},
  booktitle    = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
                  Co-located with the 11th International Joint Conference on Automated
                  Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3201},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3201/paper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paar/Rawson0HR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paar/Schurr22,
  author       = {Hans{-}J{\"{o}}rg Schurr},
  editor       = {Boris Konev and
                  Claudia Schon and
                  Alexander Steen},
  title        = {Optimal Strategy Schedules for Everyone},
  booktitle    = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
                  Co-located with the 11th International Joint Conference on Automated
                  Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3201},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3201/paper8.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paar/Schurr22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paar/Steen22,
  author       = {Alexander Steen},
  editor       = {Boris Konev and
                  Claudia Schon and
                  Alexander Steen},
  title        = {An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning
                  (short paper)},
  booktitle    = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
                  Co-located with the 11th International Joint Conference on Automated
                  Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3201},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3201/paper13.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paar/Steen22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paar/SteenFGSB22,
  author       = {Alexander Steen and
                  David Fuenmayor and
                  Tobias Glei{\ss}ner and
                  Geoff Sutcliffe and
                  Christoph Benzm{\"{u}}ller},
  editor       = {Boris Konev and
                  Claudia Schon and
                  Alexander Steen},
  title        = {Automated Reasoning in Non-classical Logics in the {TPTP} World},
  booktitle    = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
                  Co-located with the 11th International Joint Conference on Automated
                  Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3201},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3201/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paar/SteenFGSB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paar/Wernhard22,
  author       = {Christoph Wernhard},
  editor       = {Boris Konev and
                  Claudia Schon and
                  Alexander Steen},
  title        = {Generating Compressed Combinatory Proof Structures: An Approach to
                  Automated First-Order Theorem Proving},
  booktitle    = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
                  Co-located with the 11th International Joint Conference on Automated
                  Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3201},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3201/paper12.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paar/Wernhard22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/paar/2022,
  editor       = {Boris Konev and
                  Claudia Schon and
                  Alexander Steen},
  title        = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
                  Co-located with the 11th International Joint Conference on Automated
                  Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3201},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3201},
  urn          = {urn:nbn:de:0074-3201-6},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paar/2022.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.