Handbook of satisfiability

QR Code

Handbook of satisfiability

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)

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

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

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)

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

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)

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

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)

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)

How to think about algorithms
by: Edmonds, Jeff 1963-
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)

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)

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

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)

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

Modern aspects of nutrition present knowledge and future perspectives
by: Anklam, Elke, 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)

Microbiological research in agroecosystem management
by: Rajesh Kannan, Velu
Published: (2013)