Searching for "Inductive Resolution." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

8 documents found, showing 1 through 8.

Automated Reasoning: Essays in Honor of Woody Bledsoe
by Robert S. Boyer (ed.), Woody Bledsoe, Anne Olivia Boyer, Robert S. Boyer, Robert S. Boyer — 1991
…This paper gives an overview of techniques used in Bledsoe's prover, including reduction, induction, resolution, natural deduction, the limit heuristic, variable restrictions and elimination, and shielding. Bledsoe also enumerates theorems in analysis proved entirely automatically by his prover, inc…
Add To MetaCart

Inductive Theorem Proving for Design Specifications
by Peter Padawitz — 1997 — J. Symbolic Computation
… (Sections 9,10) backward deductive resolution & paramodulation (Section 3) backward inductive resolution…
Cited by 8 (6 self) – Add To MetaCart

Seventeen Obstacles For Resolution Of Singularities
by Herwig Hauser — 1998 — Progress in Mathematics 162 (Birkh€auser
… to resolution of singularities through work of de Jong. His method combines induction based on semistable…
Cited by 3 (2 self) – Add To MetaCart

Conflict driven learning in a quantified Boolean satisfiability solver
by Lintao Zhang — 2002 — in ICCAD ’02: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
… plus 1. Initially, all of the original clauses have resolution depth 0. Induction Basis: We require…
Cited by 37 (1 self) – Add To MetaCart

Automated Theorem Proving in a Simple Meta-Logic for LF
by Carsten Schürmann, Frank Pfenning — 1998 — PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION (CADE-15
… variables. We plan to address the former by adapting standard techniques from inductive and resolution…
Cited by 27 (15 self) – Add To MetaCart

Incremental grid sampling strategies in robotics
by Stephen R. Lindemann, Anna Yershova, Steven M. Lavalle — 2004 — In Proc. Workshop on Algorithmic Foundations of Robotics
… at every point in the sequence. Proof. We show this by induction on the resolution level l. By Propositions…
Cited by 6 (1 self) – Add To MetaCart

Cytokine-modulated regulation of helper T cell populations
by Andrew Yates, Claudia Bergmann, J. Leo Van Hemmen, Jaroslav Stark, Robin Callard
… the time courses of cytokine production during the induction and resolution of a response is not a crucial…
Cited by 4 (0 self) – Add To MetaCart

A Combinatorial Characterization of Resolution Width
by Albert Atserias, Víctor Dalmau — 2002 — In 18th IEEE Conference on Computational Complexity
… resolution refutation of space less than k. We build, by induction on i, a sequence of partial truth…
Cited by 11 (2 self) – Add To MetaCart

Showing 1 through 8.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB