Handbook of satisfiability
Saved in:
| Other Authors: | Biere, Armin |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Amsterdam
IOS Press
c2009
|
| Series: | Frontiers in artificial intelligence and applications ;
v. 185. |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Handbook of satisfiability
Published: (2009)
Published: (2009)
Handbook of satisfiability
Published: (2009)
Published: (2009)
Better than conscious? decision making, the human mind, and implications for institutions /
Published: (2008)
Published: (2008)
Quantifier elimination and cylindrical algebraic decomposition
Published: (1998)
Published: (1998)
Commutative algebra and algebraic geometry proceedings of the Ferrara meeting in honor of Mario Fiorentini
Published: (1999)
Published: (1999)
Higher-dimensional geometry over finite fields
Published: (2008)
Published: (2008)
Algorithm in applications
Published: (2010)
Published: (2010)
Computational modelling of objects represented in images fundamentals, methods and applications III
Published: (2012)
Published: (2012)
Graph theory,combinatorics,and aalgorithms proceedings of the seventh quadrennial international conference on the theory and applications of graphs
by: lh
by: lh
U.S.-China relations China policy on Capitol Hill /
by: Xie, Tao, 1973-
Published: (2009)
by: Xie, Tao, 1973-
Published: (2009)
Decision support and executive information systems
by: lh
by: lh
Digest of papers spring COMPCON 94, February 28-March 4, 1994, San Francisco, California.
Published: (1994)
Published: (1994)
Future information engineering and manufacturing science proceedings of the 2014 International Conference on Future Information Engineering and Manufacturing Science (FIEMS 2014), Beijing, China, 26-27 June 2014
Published: (2015)
Published: (2015)
The classical decision problem
by: Borger, Egon
Published: (1987)
by: Borger, Egon
Published: (1987)
IAENG transactions on engineering sciences special Issue for the International Association of Engineers Conferences
Published: (2015)
Published: (2015)
Industrial Engineering, Machine Design and Automation (IEMDA 2014) and Computer Science and Application (CCSA 2014) proceedings of the 2014 Congress on IEMDA 2014 & proceedings of the 2nd Congress on CCSA 2014 : Sanya, Hainan, China, 12-14 Dec 2014
Published: (2015)
Published: (2015)
Mechatronics engineering and electrical engineering proceedings of the 2014 International Conference on Mechatronics Engineering and Electrical Engineering (CMEEE 2014), Sanya, Hainan, P.R. China, 17-19 October 2014
Published: (2015)
Published: (2015)
Proceedings of 2009 International Symposium on Computing, Communication and Control, Singapore, October 9-11, 2009
Published: (2009)
Published: (2009)
Electronic engineering and information science proceedings of the 2015 International Conference on Electronic Engineering and Information Science (ICEEIS 2015), 17-18 January, 2015, Haikou, P.R. China
Published: (2015)
Published: (2015)
Microelectronics micro and nano-electronics and photonics
Published: (2009)
Published: (2009)
The future of the nation state essays on cultural aluralism and political integration
Published: (1996)
Published: (1996)
Technological competitiveness contemporary and historical perspectives on the electrical, electronics and computer industries
Published: (1993)
Published: (1993)
2014 International Conference on Informatics, Networking and Intelligent Computing
Published: (2015)
Published: (2015)
Logics and languages for reliability and security
Published: (2010)
Published: (2010)
International seminars on nuclear war and planetary emergencies 49th session, Erice, Italy, 19-24 August 2016
Published: (2019)
Published: (2019)
Containment structures risk, safety and reliability : proceedings of the IABSE Colloquium, London, UK, 11-12 July 1995
Published: (1997)
Published: (1997)
Identity, security and democracy the wider social and ethical implications of automated systems for human identification
Published: (2009)
Published: (2009)
Meeting security challenges through data analytics and decision support
Published: (2016)
Published: (2016)
International seminar on nuclear war and planetary emergencies 44th session : the role of science in the third millenium : E. Majorana Centre for Scientific Culture, Erice, Italy, 19-24 August 2011
Published: (2016)
Published: (2016)
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 /
Published: (2007)
Published: (2007)
Innovative materials engineering and applications II : selected, peer reviewed papers from the 2016 International Conference on Material Engineering and Application, (ICMEA 2016), August 19-21, 2016, Hong Kong, China
Published: (2017)
Published: (2017)
Nano engineering and materials technologies.
Published: (2016)
Published: (2016)
Sensors, measurement, intelligent materials and technologies III selected peer reviewed papers from the 2014 3rd International Conference on Sensors, Measurement and Intelligent Materials (ICSMIM 2014), November 25-26, 2014, Zhuhai, China
Published: (2015)
Published: (2015)
Bioluminescence and chemiluminescence molecular reporting with photons
Published: (1997)
Published: (1997)
Optics and photonics for counterterrorism, crime fighting and defence IX; and Optical materials and biomaterials in security and defence systems technology X 23-25 September 2013, Dresden, Germany
Published: (2013)
Published: (2013)
Experimental mechanics and materials selected, peer reviewed papers of the International Conference on Experimental Mechanics 2010 (ICEM10), 29 November - 1 December 2010, Legend Hotel Kuala Lumpur, Malaysia
Published: (2011)
Published: (2011)
Proceedings of the IIW International Conference on Global Trends in Joining, Cutting and Surfacing Technology : [Chennai Trade Centre, Chennai, India : 21st-22nd July, 2011]
Published: (2012)
Published: (2012)
Informatics in control, automation and robotics : selected papers from the International Conference on Informatics in Control, Automation and Robotics 2006 /
Published: (2008)
Published: (2008)
Engineering innovation ICEI 2016 : selected, peer reviewed papers from the First International Conference on Engineering Innovation (the 1st ICEI), June 6-7, 2016, Bangkok, Thailand
Published: (2017)
Published: (2017)
Postmodern management and organization theory
Similar Items
-
Handbook of satisfiability
Published: (2009) -
Handbook of satisfiability
Published: (2009) -
Better than conscious? decision making, the human mind, and implications for institutions /
Published: (2008) -
Quantifier elimination and cylindrical algebraic decomposition
Published: (1998) -
Commutative algebra and algebraic geometry proceedings of the Ferrara meeting in honor of Mario Fiorentini
Published: (1999)


