Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/2815| Title: | Automated Reasoning: Some Successes and New Challenges | Authors: | Janičić, Predrag | Affiliations: | Informatics and Computer Science | Keywords: | Automated reasoning;Automated theorem proving;SAT;SMT;Interactive theorem proving | Issue Date: | 2011 | Rank: | M31 | Publisher: | Varaždin : Faculty of Organization and Informatics | Related Publication(s): | Proceedings of the 22nd Central European Conference on Information and Intelligent Systems | Conference: | Central European Conference on Information and Intelligent Systems (22 ; 2011 ; Varaždin) | Abstract: | In this paper a brief account of the area of automated reasoning (or, rather, of some of its subareas) is given. Some historical remarks are given along with overview of some of the most significant results and current challenges. The paper has a somewhat personal perspective, reflecting research interests of the author. |
URI: | https://research.matf.bg.ac.rs/handle/123456789/2815 |
| Appears in Collections: | Research outputs |
Show full item record
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.