1420 search results - page 33 / 284 » Multi-point Constructive Search |
100
click to vote
JETAI
2008
15 years 1 months ago
2008
Abstract. This paper describes a proof search procedure for propositional nonclausal resolution based on a new weighting strategy that utilizes search methods for propositional sat...
EJC
2006
15 years 1 months ago
2006
We apply Computational Algebra methods to the construction of Hadamard matrices with two circulant cores, given by Fletcher, Gysin and Seberry. We introduce the concept of Hadamar...
104
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
We present a new conceptual abstraction in symmetry breaking – the GE-tree. The construction and traversal of a GE-tree breaks all symmetries in any constraint satisfaction or si...
121
click to vote
AAECC
2008
Springer
15 years 2 months ago
2008
Springer
We provide some guidelines for deriving new projective hash families of cryptographic interest. Our main building blocks are so called group action systems; we explore what propert...
ITCC
2002
IEEE
15 years 6 months ago
2002
IEEE
Current crawler-based search engines usually return a long list of search results containing a lot of noise documents. By indexing collected documents on topic path in taxonomy, t...