The International Workshop on First-Order Theorem Proving (FTP) is a scientific meeting of researchers interested in automated theorem proving forâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

Review

2012

Review

2012

- Nicolas Peltier, Viorica Sofronie-Stokkermans
- J. Symb. Comput.
- 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

- JÃ¼rgen Giesl, Reiner HÃ¤hnle
- Journal of Automated Reasoning
- 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

- Zhongying Chen, Gnaneshwar Nelakanti, Yuesheng Xu, Yongdong Zhang
- J. Sci. Comput.
- 2009

A multiscale collocation method is developed for solving the eigen-problem of weakly singular integral operators. We employ aâ€¦Â (More)

Is this relevant?

Review

2007

Review

2007

- Silvio Ranise
- 2007

Many problems in computer science can be reduced to proving the satisfiability of conjunctions of literals w.r.t. a backgroundâ€¦Â (More)

Is this relevant?

2005

2005

- Reinhold Letz, Artur S. dâ€™Avila Garcez, +10 authors Christoph Wernhard
- 2005

For first-order Horn clauses without equality, resolution is complete with an arbitrary selection of a single literal in eachâ€¦Â (More)

Is this relevant?

2003

2003

- James J. Lu, Jeffrey S. Rosenthal, Andrew E. Shaffer
- J. Exp. Theor. Artif. Intell.
- 2003

A new technique for improving the efficiency of propositional reasoning procedures is presented. The meta-search procedure, NDâ€¦Â (More)

Is this relevant?

Review

1994

Review

1994

- Ton Biegstraaten, Klaas Brink, Jan van Katwijk, R. F. Lutje Spelberg, Hans Toetenel
- 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?