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/journals/jar/jar67.bht:"
download as .bib file
@article{DBLP:journals/jar/AbateBBDKKPRT23,
author = {Alessandro Abate and
Haniel Barbosa and
Clark W. Barrett and
Cristina David and
Pascal Kesseli and
Daniel Kroening and
Elizabeth Polgreen and
Andrew Reynolds and
Cesare Tinelli},
title = {Synthesising Programs with Non-trivial Constants},
journal = {J. Autom. Reason.},
volume = {67},
number = {2},
pages = {19},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09664-4},
doi = {10.1007/S10817-023-09664-4},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AbateBBDKKPRT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AffeldtC23,
author = {Reynald Affeldt and
Cyril Cohen},
title = {Measure Construction by Extension in Dependent Type Theory with Application
to Integration},
journal = {J. Autom. Reason.},
volume = {67},
number = {3},
pages = {28},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09671-5},
doi = {10.1007/S10817-023-09671-5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AffeldtC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Andrlon23,
author = {Mak Andrlon},
title = {Finding Normal Binary Floating-Point Factors Efficiently},
journal = {J. Autom. Reason.},
volume = {67},
number = {1},
pages = {11},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09659-1},
doi = {10.1007/S10817-023-09659-1},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Andrlon23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AppelL23,
author = {Andrew W. Appel and
Xavier Leroy},
title = {Efficient Extensional Binary Tries},
journal = {J. Autom. Reason.},
volume = {67},
number = {1},
pages = {8},
year = {2023},
url = {https://doi.org/10.1007/s10817-022-09655-x},
doi = {10.1007/S10817-022-09655-X},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/AppelL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BentkampBTV23,
author = {Alexander Bentkamp and
Jasmin Blanchette and
Sophie Tourret and
Petar Vukmirovic},
title = {Superposition for Higher-Order Logic},
journal = {J. Autom. Reason.},
volume = {67},
number = {1},
pages = {10},
year = {2023},
url = {https://doi.org/10.1007/s10817-022-09649-9},
doi = {10.1007/S10817-022-09649-9},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/BentkampBTV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BohmB23,
author = {Benjamin B{\"{o}}hm and
Olaf Beyersdorff},
title = {Lower Bounds for {QCDCL} via Formula Gauge},
journal = {J. Autom. Reason.},
volume = {67},
number = {4},
pages = {35},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09683-1},
doi = {10.1007/S10817-023-09683-1},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/BohmB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BonacinaW23,
author = {Maria Paola Bonacina and
Sarah Winkler},
title = {Semantically-Guided Goal-Sensitive Reasoning: Decision Procedures
and the Koala Prover},
journal = {J. Autom. Reason.},
volume = {67},
number = {1},
pages = {6},
year = {2023},
url = {https://doi.org/10.1007/s10817-022-09656-w},
doi = {10.1007/S10817-022-09656-W},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/BonacinaW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CristiaLL23,
author = {Maximiliano Cristi{\'{a}} and
Guido De Luca and
Carlos Luna},
title = {An Automatically Verified Prototype of the Android Permissions System},
journal = {J. Autom. Reason.},
volume = {67},
number = {2},
pages = {17},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09666-2},
doi = {10.1007/S10817-023-09666-2},
timestamp = {Thu, 01 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/CristiaLL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CruzFilipeMP23,
author = {Lu{\'{\i}}s Cruz{-}Filipe and
Fabrizio Montesi and
Marco Peressotti},
title = {A Formal Theory of Choreographic Programming},
journal = {J. Autom. Reason.},
volume = {67},
number = {2},
pages = {21},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09665-3},
doi = {10.1007/S10817-023-09665-3},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/CruzFilipeMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/DasG23,
author = {Anupam Das and
Marianna Girlando},
title = {Cyclic Hypersequent System for Transitive Closure Logic},
journal = {J. Autom. Reason.},
volume = {67},
number = {3},
pages = {27},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09675-1},
doi = {10.1007/S10817-023-09675-1},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/DasG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/EbnerBT23,
author = {Gabriel Ebner and
Jasmin Blanchette and
Sophie Tourret},
title = {Unifying Splitting},
journal = {J. Autom. Reason.},
volume = {67},
number = {2},
pages = {16},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09660-8},
doi = {10.1007/S10817-023-09660-8},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/EbnerBT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/EchenimP23,
author = {Mnacho Echenim and
Nicolas Peltier},
title = {A Proof Procedure for Separation Logic with Inductive Definitions
and Data},
journal = {J. Autom. Reason.},
volume = {67},
number = {3},
pages = {30},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09680-4},
doi = {10.1007/S10817-023-09680-4},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/EchenimP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/EdmondsKP23,
author = {Chelsea Edmonds and
Angeliki Koutsoukou{-}Argyraki and
Lawrence C. Paulson},
title = {Formalising Szemer{\'{e}}di's Regularity Lemma and Roth's Theorem
on Arithmetic Progressions in Isabelle/HOL},
journal = {J. Autom. Reason.},
volume = {67},
number = {1},
pages = {2},
year = {2023},
url = {https://doi.org/10.1007/s10817-022-09650-2},
doi = {10.1007/S10817-022-09650-2},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/EdmondsKP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Fiorino23,
author = {Guido Fiorino},
title = {Linear Depth Deduction with Subformula Property for Intuitionistic
Epistemic Logic},
journal = {J. Autom. Reason.},
volume = {67},
number = {1},
pages = {3},
year = {2023},
url = {https://doi.org/10.1007/s10817-022-09653-z},
doi = {10.1007/S10817-022-09653-Z},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/Fiorino23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HaselwarterB23,
author = {Philipp G. Haselwarter and
Andrej Bauer},
title = {Finitary Type Theories With and Without Contexts},
journal = {J. Autom. Reason.},
volume = {67},
number = {4},
pages = {36},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09678-y},
doi = {10.1007/S10817-023-09678-Y},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/HaselwarterB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HolubRS23,
author = {Stepan Holub and
Martin Raska and
Step{\'{a}}n Starosta},
title = {Binary Codes that do not Preserve Primitivity},
journal = {J. Autom. Reason.},
volume = {67},
number = {3},
pages = {25},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09674-2},
doi = {10.1007/S10817-023-09674-2},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HolubRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Indrzejczak23,
author = {Andrzej Indrzejczak},
title = {Bisequent Calculus for Four-Valued Quasi-Relevant Logics: Cut Elimination
and Interpolation},
journal = {J. Autom. Reason.},
volume = {67},
number = {4},
pages = {37},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09685-z},
doi = {10.1007/S10817-023-09685-Z},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/Indrzejczak23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KaliszykP23,
author = {Cezary Kaliszyk and
Karol Pak},
title = {Combining Higher-Order Logic with Set Theory Formalizations},
journal = {J. Autom. Reason.},
volume = {67},
number = {2},
pages = {20},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09663-5},
doi = {10.1007/S10817-023-09663-5},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KaliszykP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KirstH23,
author = {Dominik Kirst and
Marc Hermes},
title = {Synthetic Undecidability and Incompleteness of First-Order Axiom Systems
in Coq},
journal = {J. Autom. Reason.},
volume = {67},
number = {1},
pages = {13},
year = {2023},
url = {https://doi.org/10.1007/s10817-022-09647-x},
doi = {10.1007/S10817-022-09647-X},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/KirstH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/LeidingerW23,
author = {Hendrik Leidinger and
Christoph Weidenbach},
title = {{SCL(EQ):} {SCL} for First-Order Logic with Equality},
journal = {J. Autom. Reason.},
volume = {67},
number = {3},
pages = {22},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09673-3},
doi = {10.1007/S10817-023-09673-3},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/LeidingerW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/LuoCJ23,
author = {Yun{-}Rong Luo and
Che Cheng and
Jie{-}Hong R. Jiang},
title = {A Resolution Proof System for Dependency Stochastic Boolean Satisfiability},
journal = {J. Autom. Reason.},
volume = {67},
number = {3},
pages = {26},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09670-6},
doi = {10.1007/S10817-023-09670-6},
timestamp = {Mon, 14 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/LuoCJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MaggesiB23,
author = {Marco Maggesi and
Cosimo {Perini Brogi}},
title = {Mechanising G{\"{o}}del-L{\"{o}}b Provability Logic in {HOL}
Light},
journal = {J. Autom. Reason.},
volume = {67},
number = {3},
pages = {29},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09677-z},
doi = {10.1007/S10817-023-09677-Z},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/MaggesiB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MartinDorelMR23,
author = {{\'{E}}rik Martin{-}Dorel and
Guillaume Melquiond and
Pierre Roux},
title = {Enabling Floating-Point Arithmetic in the Coq Proof Assistant},
journal = {J. Autom. Reason.},
volume = {67},
number = {4},
pages = {33},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09679-x},
doi = {10.1007/S10817-023-09679-X},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/MartinDorelMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MiddeldorpLM23,
author = {Aart Middeldorp and
Alexander Lochmann and
Fabian Mitterwallner},
title = {First-Order Theory of Rewriting for Linear Variable-Separated Rewrite
Systems: Automation, Formalization, Certification},
journal = {J. Autom. Reason.},
volume = {67},
number = {2},
pages = {14},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09661-7},
doi = {10.1007/S10817-023-09661-7},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/MiddeldorpLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/MunozAMDNASR23,
author = {C{\'{e}}sar A. Mu{\~{n}}oz and
Mauricio Ayala{-}Rinc{\'{o}}n and
Mariano M. Moscato and
Aaron Dutle and
Anthony J. Narkawicz and
Ariane Alves Almeida and
Andr{\'{e}}ia B. Avelar da Silva and
Thiago Mendon{\c{c}}a Ferreira Ramos},
title = {Formal Verification of Termination Criteria for First-Order Recursive
Functions},
journal = {J. Autom. Reason.},
volume = {67},
number = {4},
pages = {40},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09669-z},
doi = {10.1007/S10817-023-09669-Z},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/MunozAMDNASR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Nash23,
author = {Oliver Nash},
title = {Engel's Theorem in Mathlib},
journal = {J. Autom. Reason.},
volume = {67},
number = {2},
pages = {18},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09668-0},
doi = {10.1007/S10817-023-09668-0},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Nash23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/PengZCL23,
author = {Xicheng Peng and
Jingzhong Zhang and
Mao Chen and
Sannyuya Liu},
title = {Self-evident Automated Geometric Theorem Proving Based on Complex
Number Identity},
journal = {J. Autom. Reason.},
volume = {67},
number = {4},
pages = {38},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09688-w},
doi = {10.1007/S10817-023-09688-W},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/PengZCL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Popescu23,
author = {Andrei Popescu},
title = {Rensets and Renaming-Based Recursion for Syntax with Bindings Extended
Version},
journal = {J. Autom. Reason.},
volume = {67},
number = {3},
pages = {23},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09672-4},
doi = {10.1007/S10817-023-09672-4},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Popescu23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/QuaresmaG23,
author = {Pedro Quaresma and
Pierluigi Graziani},
title = {Measuring the Readability of Geometric Proofs: The Area Method Case},
journal = {J. Autom. Reason.},
volume = {67},
number = {1},
pages = {5},
year = {2023},
url = {https://doi.org/10.1007/s10817-022-09652-0},
doi = {10.1007/S10817-022-09652-0},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/QuaresmaG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ReevesHB23,
author = {Joseph E. Reeves and
Marijn J. H. Heule and
Randal E. Bryant},
title = {Preprocessing of Propagation Redundant Clauses},
journal = {J. Autom. Reason.},
volume = {67},
number = {3},
pages = {31},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09681-3},
doi = {10.1007/S10817-023-09681-3},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ReevesHB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/RosskopfN23,
author = {Simon Ro{\ss}kopf and
Tobias Nipkow},
title = {A Formalization and Proof Checker for Isabelle's Metalogic},
journal = {J. Autom. Reason.},
volume = {67},
number = {1},
pages = {1},
year = {2023},
url = {https://doi.org/10.1007/s10817-022-09648-w},
doi = {10.1007/S10817-022-09648-W},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/RosskopfN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/SchmoettenPF23,
author = {Richard Schmoetten and
Jake E. Palmer and
Jacques D. Fleuriot},
title = {Correction: Towards Formalising Schutz' Axioms for Minkowski Spacetime
in Isabelle/HOL},
journal = {J. Autom. Reason.},
volume = {67},
number = {1},
pages = {9},
year = {2023},
url = {https://doi.org/10.1007/s10817-022-09651-1},
doi = {10.1007/S10817-022-09651-1},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/SchmoettenPF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ShengNRZDGPQBT23,
author = {Ying Sheng and
Andres N{\"{o}}tzli and
Andrew Reynolds and
Yoni Zohar and
David L. Dill and
Wolfgang Grieskamp and
Junkil Park and
Shaz Qadeer and
Clark W. Barrett and
Cesare Tinelli},
title = {Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences},
journal = {J. Autom. Reason.},
volume = {67},
number = {3},
pages = {32},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09682-2},
doi = {10.1007/S10817-023-09682-2},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/ShengNRZDGPQBT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ShengZRRBT23,
author = {Ying Sheng and
Yoni Zohar and
Christophe Ringeissen and
Andrew Reynolds and
Clark W. Barrett and
Cesare Tinelli},
title = {Combining Stable Infiniteness and (Strong) Politeness},
journal = {J. Autom. Reason.},
volume = {67},
number = {4},
pages = {34},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09684-0},
doi = {10.1007/S10817-023-09684-0},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/ShengZRRBT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Urban23,
author = {Christian Urban},
title = {{POSIX} Lexing with Derivatives of Regular Expressions},
journal = {J. Autom. Reason.},
volume = {67},
number = {3},
pages = {24},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09667-1},
doi = {10.1007/S10817-023-09667-1},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Urban23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/VelasquezASWA23,
author = {Alvaro Velasquez and
Ismail Alkhouri and
K. Subramani and
Piotr Wojciechowski and
George K. Atia},
title = {Optimal Deterministic Controller Synthesis from Steady-State Distributions},
journal = {J. Autom. Reason.},
volume = {67},
number = {1},
pages = {7},
year = {2023},
url = {https://doi.org/10.1007/s10817-022-09657-9},
doi = {10.1007/S10817-022-09657-9},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/VelasquezASWA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/WangA23,
author = {Qinshi Wang and
Andrew W. Appel},
title = {A Solver for Arrays with Concatenation},
journal = {J. Autom. Reason.},
volume = {67},
number = {1},
pages = {4},
year = {2023},
url = {https://doi.org/10.1007/s10817-022-09654-y},
doi = {10.1007/S10817-022-09654-Y},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/WangA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Windsor23,
author = {Aaron Windsor},
title = {Computer-Aided Constructions of Commafree Codes},
journal = {J. Autom. Reason.},
volume = {67},
number = {1},
pages = {12},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09662-6},
doi = {10.1007/S10817-023-09662-6},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/Windsor23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/YolcuAH23,
author = {Emre Yolcu and
Scott Aaronson and
Marijn J. H. Heule},
title = {An Automated Approach to the Collatz Conjecture},
journal = {J. Autom. Reason.},
volume = {67},
number = {2},
pages = {15},
year = {2023},
url = {https://doi.org/10.1007/s10817-022-09658-8},
doi = {10.1007/S10817-022-09658-8},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/YolcuAH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ZhengS23,
author = {Sen Zheng and
Renate A. Schmidt},
title = {Saturation-Based Boolean Conjunctive Query Answering and Rewriting
for the Guarded Quantification Fragments},
journal = {J. Autom. Reason.},
volume = {67},
number = {4},
pages = {39},
year = {2023},
url = {https://doi.org/10.1007/s10817-023-09687-x},
doi = {10.1007/S10817-023-09687-X},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/ZhengS23.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-21 15:58 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:
