Handbook of satisfiability [

QR Code

Handbook of satisfiability [

A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.

Bibliographic Details
Main Author:	Biere, Armin (Author)
Format:	Book
Language:	English
Published:	Amsterdam, Netherland Washington, DC : IOS Press , c2009
Series:	Frontiers in artificial intelligence and applications v 185
Subjects:	Algebra, Boolean > Congresses Computer algorithms > Congresses Decision making > Congresses Propositional calculus > Congresses
Online Access:	ebrary NetLibrary An electronic book accessible through the World Wide Web; click for information Click here to view book

Similar Items

Decision procedures : an algorithmic point of view
by: Kroening, Daniel, et al.
Published: (2008)

Decision-making in general practice
by: Brooke, John, et al.
Published: (1985)

Clinical judgement and decision making : the future with nursing diagnosis
by: Hannah, Kathryn J.
Published: (1987)

Proceeding of the 21st National Symposium on Mathematical Sciences(SKSM21): : Germination of Mathematical Sciences Education and Research towards Global Sustainability/
by: Mohd Tahir Ismail, et al.
Published: (2013)

An introduction to algorithmic information theory [
by: Tolbert, Sheree
Published: (2014)

Algorithm and data structure : concepts & applications [
by: Gaither, Melonie
Published: (2014)

Advanced data mining and applications : third international conference, ADMA 2007, Harbin, China, August 6-8, 2007 : proceedings
by: Alhajj, Reda
Published: (2007)

Algorithms and data structures : 10th international workshop, WADS 2007, Halifax, Canada, August 15-17, 2007 : proceedings
by: Dehne, F. [ (Frank)] , 1960-, et al.
Published: (2007)

Parallel computing : architectures,algorithms and applications
by: Bischof, Christian
Published: (2008)

Better than conscious? [electronic resource] : decision making, the human mind, and implications for institutions
by: Engel, Christoph , 1956-, et al.
Published: (2008)

An introduction to lambda calculus [
by: Ricci, Raven
Published: (2014)

Foundations of algorithms
by: Neapolitan, Richard E., et al.
Published: (2011)

Foundations of algorithms using C++ pseudocode
by: Neapolitan, Richard E., et al.
Published: (2004)

Computational modelling of objects represented in images fundamentals, methods and applications proceedings of the International Symposium CompIMAGE 2006, Coimbra, Portugal, 20-21 October 2006
by: Jorge, Renato M. Natal, et al.
Published: (2007)

Fuzzy rationality : a critique and methodological unity of classical, bounded and other rationalities
by: Dompere, K. K.
Published: (2009)

Collaborative decision making : perspectives and challenges
by: Zarate, P. [ (Pascale)]
Published: (2008)

GIS for environmental decision-making
by: Appleton, Katy , 1975-, et al.
Published: (2008)

Computers and games : 5th international conference, CG 2006, Turin, Italy, May 29-31, 2006: revised papers
by: Ciancarini, Paolo , 1959-, et al.
Published: (2007)

Security protocols : 13th international workshop, Cambridge, UK, April 20-22, 2005 : revised selected papers
by: Christianson, Bruce
Published: (2007)

Selected areas in cryptography : 14th international workshop, SAC 2007, Ottawa, Canada, August 16-17, 2007 : revised selected papers
by: Adams, Carlisle, et al.
Published: (2007)

How to think about algorithms
by: Edmonds, Jeff , 1963-
Published: (2008)

Transactions on edutainment II
by: Pan, Zhigeng , 1965-
Published: (2009)

Proceedings UMT-MSD postgraduate seminar 2009 : Bodington Hall, University of Leeds, Leeds United Kingdom 12-13 May 2009
Published: (2009)

Working paper of Seminar on Managing Product and Process
by: Institut Piawaian dan Penyelidikan Malaysia

Multi-body dynamics : monitoring and simulation techniques--III
by: Rahnejat, Homer, et al.
Published: (2004)

Selected areas in cryptography : 13th international workshop, SAC 2006, Montreal, Canada, August 17-18, 2006 : revised selected papers
by: Biham, Eli, et al.
Published: (2007)

Proceedings of the 11th Italian Conference on Sensors and Microsystems, Lecce, Italy, 8-10 February 2006
by: Siciliano, P. [ (Pietro)]
Published: (2008)

Modern aspects of nutrition : present knowledge and future perspectives
by: Anklam, Elke, et al.
Published: (2003)

Opto-Ireland 2002 : optical metrology, imaging, and machine vision
by: Mahon, James, et al.
Published: (2003)

Graphics Interface 2011 : St. John's, Newfoundland, Canada, 25-27 May 2011 : proceedings
by: Brooks, Stephen, et al.
Published: (2011)

International Conference on Electrical Engineering and Informatics
Published: (2009)

Information hiding : 8th international workshop, IH 2006, Alexandria, VA, USA, July 10-12, 2006 : revised selected papers
by: Camenisch, Jan
Published: (2007)

Nutrition and health [
by: Carr, Tanya, et al.
Published: (2002)

Lightmetry 2002 : metrology and testing techniques using light
by: Pluta, Maksymilian, et al.
Published: (2003)

Cryptography, automata and learning theory
by: Jeyanthi, P. Abisha, et al.
Published: (2011)

Ultra-cold fermi gases [ proceedings of the International School of Physics "Enrico Fermi", course CLXIV, Varenna on Lake Como, Villa Monastero, 20-30 June 2006
by: Inguscio, M., et al.
Published: (2007)

Proceedings of the International Livestock-Tree Cropping Workshop
by: Zainuddin, Ahmad Tajuddin B.
Published: (1991)

Teacher thinking twenty years on : revisiting persisting problems and advances in education
by: Denicolo, Pam, et al.
Published: (2003)

Graph algorithms in the language of linear algebra
by: Kepner, Jeremy V. , 1969-, et al.
Published: (2011)

Advances in economic theory : fifth World Congress
Published: (1987)