When you think about how far and fast computer science has progressed in recent years, it's
not hard to conclude that a seven-year old handbook may fall a little short of the kind of …

Optimal Length Tree-Like Resolution Refutations for 2SAT Formulas Page 1 Optimal Length
Tree-Like Resolution Refutations for 2SAT Formulas K. SUBRAMANI LDCSEE, West Virginia …

This paper presents a computer systems approach used in the Vega Grid project at Institute
of Computing Technology, Chinese Academy of Sciences. The main feature is to view a grid …

We present complexity hierarchies on circuits under two DLOGTIME-uniformity conditions. It
is shown that there is a language which can be recognized by a family of U_\tinyE-uniform …

The computational complexity of learning from binary examples is investigated for linear
threshold neurons. We introduce combinatorial measures that create classes of infinitely …

Publisher Summary With the advent of the high-speed electronic computer, new branches of
applied mathematics have sprouted forth. One area that has enjoyed a most rapid growth in …