Automated Reasoning: Some Successes and New Challenges

  • Janicic P
  • 5


    Mendeley users who have this article in their library.
  • N/A


    Citations of this article.


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 pa- per has a somewhat personal perspective, reflecting research interests of the author.

Author-supplied keywords

  • Automated reasoning
  • SAT
  • SMT
  • automated theorem proving
  • interactive theorem proving

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

There are no full text links


  • Predrag Janicic

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free