Skip to main page content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Access keys NCBI Homepage MyNCBI Homepage Main Content Main Navigation

Search Page

Filters

My NCBI Filters

Results by year

Table representation of search results timeline featuring number of search results per year.

Year Number of Results
2015 1
2016 7
2017 10
2018 11
2019 7
2020 9
2021 6
2022 5
2023 4
2024 0

Text availability

Article attribute

Article type

Publication date

Search Results

40 results

Results by year

Filters applied: . Clear all
Page 1
Synthesising Programs with Non-trivial Constants.
Abate A, Barbosa H, Barrett C, David C, Kesseli P, Kroening D, Polgreen E, Reynolds A, Tinelli C. Abate A, et al. J Autom Reason. 2023;67(2):19. doi: 10.1007/s10817-023-09664-4. Epub 2023 May 13. J Autom Reason. 2023. PMID: 37193313 Free PMC article.
Unifying Splitting.
Ebner G, Blanchette J, Tourret S. Ebner G, et al. J Autom Reason. 2023;67(2):16. doi: 10.1007/s10817-023-09660-8. Epub 2023 Apr 28. J Autom Reason. 2023. PMID: 37131534 Free PMC article.
A Formalization of SQL with Nulls.
Ricciotti W, Cheney J. Ricciotti W, et al. J Autom Reason. 2022;66(4):989-1030. doi: 10.1007/s10817-022-09632-4. Epub 2022 Jul 27. J Autom Reason. 2022. PMID: 36353685 Free PMC article.
Proof Complexity of Modal Resolution.
Sigley S, Beyersdorff O. Sigley S, et al. J Autom Reason. 2022;66(1):1-41. doi: 10.1007/s10817-021-09609-9. Epub 2021 Oct 13. J Autom Reason. 2022. PMID: 35068630 Free PMC article.
Certified Quantum Computation in Isabelle/HOL.
Bordg A, Lachnitt H, He Y. Bordg A, et al. J Autom Reason. 2021;65(5):691-709. doi: 10.1007/s10817-020-09584-7. Epub 2020 Dec 24. J Autom Reason. 2021. PMID: 34720282 Free PMC article.
Machine Learning Guidance for Connection Tableaux.
Färber M, Kaliszyk C, Urban J. Färber M, et al. J Autom Reason. 2021;65(2):287-320. doi: 10.1007/s10817-020-09576-7. Epub 2020 Sep 5. J Autom Reason. 2021. PMID: 33678931 Free PMC article.
Building Strategies into QBF Proofs.
Beyersdorff O, Blinkhorn J, Mahajan M. Beyersdorff O, et al. J Autom Reason. 2021;65(1):125-154. doi: 10.1007/s10817-020-09560-1. Epub 2020 May 22. J Autom Reason. 2021. PMID: 33487785 Free PMC article.
Special Issue of Selected Extended Papers of IJCAR 2020.
Peltier N, Sofronie-Stokkermans V. Peltier N, et al. J Autom Reason. 2022;66(3):275-276. doi: 10.1007/s10817-022-09622-6. Epub 2022 May 9. J Autom Reason. 2022. PMID: 35571632 Free PMC article. No abstract available.
40 results