1274 search results - page 5 / 255 » New Proofs for |
CG
2002
Springer
13 years 7 months ago
2002
Springer
Abstract. The paper introduces a new proof-number (PN) search algorithm, called PDS-PN. It is a two-level search, which performs at the first level a depth-first Proof-number and D...
19
Voted
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
— A principle of linear mean-square estimation which we call the “missing observations theorem” is presented here and used to provide a simple alternative derivation of Levin...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
EJC
2008
13 years 7 months ago
2008
JCT
2008
13 years 7 months ago
2008
