1
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... in the QBF Competition -- A Top Down Interpreter for LPAD and CP-Logic -- Multiagent Systems, Distributed AI...