The York Research Database
- » Research
- » York Research Database
- » Publications
- » Journals
- » Journal of Automated Reasoning
Journal of Automated Reasoning
ISSNs: 0168-7433, 1573-0670
Springer Netherlands
Scopus rating (2020): CiteScore 4.6 SJR 0.497 SNIP 1.759
Journal
Publications
1 - 4 out of 4Page size: 25
- 2017
Genetic Programming + Proof Search = Automatic Improvement
Kocsis, Z. A. & Swan, J., 7 Mar 2017, (E-pub ahead of print)Article in Journal of Automated Reasoning
- 2014
On the Fine-Structure of Regular Algebra
Foster, S. D. & Struth, G., 3 Dec 2014Article in Journal of Automated Reasoning
- 2007
Integrating searching and authoring in Mizar.
Cairns, P. & Gow, J., 2007Article in Journal of Automated Reasoning
- 2005
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings.
Frisch, A. M., Peugniez, T. J., Doggett, A. J. & Nightingale, P., Oct 2005Article in Journal of Automated Reasoning
Discover related content
Find related publications, people, projects, datasets and more using interactive charts.