Sciweavers

CSR
2008
Springer
15 years 21 days ago
A survey of constraint-based programming paradigms
Maria Grazia Buscemi, Ugo Montanari
CSR
2008
Springer
15 years 21 days ago
Colouring, constraint satisfaction, and complexity
Constraint satisfaction problems have enjoyed much attention since the early seventies, and in the last decade have become also a focus of attention amongst theoreticians. Graph c...
Pavol Hell, Jaroslav Nesetril
CSR
2008
Springer
15 years 21 days ago
A survey of state vectors
Ward Douglas Maurer
CSR
2008
Springer
15 years 21 days ago
The consequences of eliminating NP solutions
Piotr Faliszewski, Lane A. Hemaspaandra
CSR
2008
Springer
15 years 21 days ago
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics
An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of G...
Arnon Avron, Anna Zamansky
86
Voted
CSR
2008
Springer
15 years 1 months ago
A Uniform Lower Bound on Weights of Perceptrons
Vladimir V. Podolskii