17 search results - page 2 / 4 » Hyper Tableaux with Equality |
CADE
1992
Springer
13 years 8 months ago
1992
Springer
Tableau
JAR
2007
13 years 4 months ago
2007
We present a variant of the basic ordered superposition rules to handle equality in an analytic free-variable tableau calculus. We prove completeness of this calculus by an adaptat...
TABLEAUX
2009
Springer
13 years 8 months ago
2009
Springer
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
JMLR
2012
11 years 6 months ago
2012
Grid search and manual search are the most widely used strategies for hyper-parameter optimization. This paper shows empirically and theoretically that randomly chosen trials are ...
CADE
2006
Springer
14 years 4 months ago
2006
Springer
It is well-known that the connection refinement of clause tableaux with paramodulation is incomplete (even with weak connections). In this paper, we present a new connection tablea...