Loading…

Handbook of satisfiability /

Show other versions (1)

Bibliographic Details
Call Number:	Libro Electrónico
Other Authors:	Biere, Armin, Heule, Marijn, 1979-, Maaren, Hans van
Format:	Electronic eBook
Language:	Inglés
Published:	Amsterdam : IOS Press, 2021.
Edition:	Second edition.
Series:	Frontiers in artificial intelligence and applications ; v. 336.
Subjects:	Propositional calculus > Congresses. Decision making > Congresses. Computer algorithms > Congresses. Algebra, Boolean > Congresses. Calcul propositionnel > Congrès. Prise de décision > Congrès. Algorithmes > Congrès. Algèbre de Boole > Congrès. Algebra, Boolean Computer algorithms Decision making Propositional calculus Conference papers and proceedings
Online Access:	Texto completo

Similar Items

Handbook of Satisfiability : Handbook of Satisfiability.
by: Biere, A.
Published: (2009)

Handbook of satisfiability /
Published: (2009)

Boolean function complexity /
Published: (1992)

Boolean functions in cryptology and information security /
Published: (2008)

Boolean functions in cryptology and information security /
Published: (2008)

Further improvements in the Boolean domain /
Published: (2018)

Recent Progress in the Boolean Domain.
by: Steinbach, Bernd
Published: (2014)

Recent Progress in the Boolean Domain.
by: Steinbach, Bernd
Published: (2014)

Boolean logic, expressions and theories : an overview /
Published: (2020)

Boolean Functions : Topics in Asynchronicity.
by: Vlad, Serban E.
Published: (2019)

Logic, Computation, Hierarchies.
Published: (2014)

Boolean Functions : Theory, Algorithms, and Applications.
by: Crama, Yves, 1958-
Published: (2011)

Two applications of logic to mathematics /
by: Takeuti, Gaisi, 1926-2017
Published: (1978)

Special groups : boolean-theoretic methods in the theory of quadratic forms /
by: Dickmann, M. A., 1940-
Published: (2000)

Compact zero-dimensional metric spaces of finite type /
by: Pierce, Richard S. (Richard Scott), 1927-
Published: (1972)

Mathematics and computation : a theory revolutionizing technology and science /
by: Wigderson, Avi
Published: (2019)

Boolean functions : theory, fundamentals and engineering applications /
Published: (2015)

Logic, Computation, Hierarchies.
Published: (2014)

Latest advances in symbolic algorithms : proceedings of the Waterloo Workshop in Computer Algebra, Ontario, Canada, 10-12 April, 2006 /
Published: (2007)

Bent functions : results and applications to cryptography /
by: Tokareva, Natalia
Published: (2015)

The complete dimension theory of partially ordered systems with equivalence and orthogonality /
by: Goodearl, K. R.
Published: (2005)

Analytic quotients : theory of liftings for quotients over analytic ideals on the integers /
by: Farah, Ilijas, 1966-
Published: (2000)

Calcul en logique du premier ordre /
by: Bouchard, Yves, 1963-
Published: (2016)

Boolean models and methods in mathematics, computer science, and engineering /
Published: (2010)

Data use for equity : implications for teaching, leadership and policy.
by: Hallinger, Phillip
Published: (2017)

Umbral calculus and Hopf algebras : proceedings of the conference on Umbral calculus and Hopf algebras : held at the University of Oklahoma, May 15-20, 1978 /
Published: (1982)

Lógica matemática /
by: Mora Espinosa, Carlos Fernando, et al.
Published: (2019)

Algorithmic problems of group theory, their complexity, and applications to cryptography /
Published: (2015)

Axioms for lattices and boolean algebras /
by: Padmanabhan, R. (Ranganathan), 1938-
Published: (2008)

Axioms for lattices and boolean algebras /
by: Padmanabhan, R. (Ranganathan), 1938-
Published: (2008)

Boolean functions : theory, algorithms, and applications /
by: Crama, Yves, 1958-
Published: (2011)

The comparative method : moving beyond qualitative and quantitative strategies /
by: Ragin, Charles C.
Published: (2014)

Methods for decision making in an uncertain environment : proceedings of the XVII SIGEF Congress, Reus, Spain, 6-8 June 2012 /
Published: (2012)

Methods for decision making in an uncertain environment : proceedings of the XVII SIGEF Congress, Reus, Spain, 6-8 June 2012 /
Published: (2012)

The logic of digital circuits /
Published: (2016)

Cryptographic Boolean functions and applications /
by: Cusick, Thomas W., 1943-
Published: (2009)

Cryptographic Boolean functions and applications /
by: Cusick, Thomas W., 1943-, et al.
Published: (2017)

Decision making : a psychophysics application of network science, Center for Nonlinear Science, University of North Texas, USA, 10-13 January 2010 /
Published: (2011)

Social Choice (Routledge Revivals).
by: Liebermann, Bernhardt
Published: (2012)

Algorithms for obstetrics and gynaecology /
Published: (2014)

Cannot write session to /tmp/vufind_sessions/sess_nvjn7ud7t65is5k0gv36rddtqd