文档介绍：HANDBOOK OF SATISFIABILITY
Frontiers in Artificial Intelligence and
Applications
FAIA covers all aspects of theoretical and applied artificial intelligence research in the form of
monographs, doctoral dissertations, textbooks, handbooks and proceedings volumes. The FAIA
series contains several sub-series, including “Information Modelling and Knowledge Bases” and
“Knowledge-Based Intelligent Engineering Systems”. It also includes the biennial ECAI, the
European Conference on Artificial Intelligence, proceedings volumes, and other ECCAI – the
European mittee on Artificial Intelligence – sponsored publications. An
editorial panel of internationally well-known scholars is appointed to provide a high quality
selection.
Series Editors:
J. Breuker, R. Dieng-Kuntz, N. Guarino, . Kok, J. Liu, R. López de Mántaras,
R. Mizoguchi, M. Musen, . Pal and N. Zhong
Volume 185
Recently published in this series
Vol. 184. T. , J. Puyol-Gruart and C. Torras (Eds.), Artificial Intelligence Research and
Development – Proceedings of the 11th International Conference of the Catalan
Association for Artificial Intelligence
Vol. 183. C. Eschenbach and M. Grüninger (Eds.), Formal Ontology in Information Systems –
Proceedings of the Fifth International Conference (FOIS 2008)
Vol. 182. H. Fujita and I. Zualkernan (Eds.), New Trends in Software Methodologies, Tools
and Techniques – Proceedings of the seventh SoMeT_08
Vol. 181. A. Zgrzywa, K. Choroś and A. Siemiński (Eds.), New Trends in Multimedia and
Network Information Systems
Vol. 180. M. Virvou and T. Nakamura (Eds.), Knowledge-Based Software Engineering –
Proceedings of the Eighth Joint Conference on Knowledge-Based Software
Engineering
Vol. 179. A. Cesta and N. Fakotakis (Eds.), STAIRS 2008 – Proceedings of the Fourth Starting
AI Researchers’ Symposium
Vol. 178. M. Ghallab et al. (Eds.), ECAI 2008 – 18th European Conference on Artificial
Intelligence
Vol. 177. C.