International Workshop on First-Order Theorem Proving

Known as: FTP (disambiguation) 
The International Workshop on First-Order Theorem Proving (FTP) is a scientific meeting of researchers interested in automated theorem proving for… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1994-2011
0119942011

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2012
Review
2012
This special issue of the Journal of Symbolic Computation is dedicated to first-order theorem proving, and was initiated after… (More)
Is this relevant?
Review
2011
Review
2011
This special issue of the Journal of Automated Reasoning contains extended and revised versions of six selected papers presented… (More)
Is this relevant?
2009
2009
A multiscale collocation method is developed for solving the eigen-problem of weakly singular integral operators. We employ a… (More)
  • table 1
  • table 2
Is this relevant?
Review
2007
Review
2007
Many problems in computer science can be reduced to proving the satisfiability of conjunctions of literals w.r.t. a background… (More)
  • figure 5
  • figure 6
  • figure 7
  • figure 8
  • figure 9
Is this relevant?
2005
2005
For first-order Horn clauses without equality, resolution is complete with an arbitrary selection of a single literal in each… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 1
Is this relevant?
2003
2003
A new technique for improving the efficiency of propositional reasoning procedures is presented. The meta-search procedure, ND… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
1994
Review
1994
A selection of these reports is available in PostScript form at the Faculty's anonymous ftp-MOSCA is an experimental language… (More)
Is this relevant?