Boolean

Boolean Representations of Simplicial Complexes and Matroids  eBooks & eLearning

Posted by interes at May 25, 2015
Boolean Representations of Simplicial Complexes and Matroids

Boolean Representations of Simplicial Complexes and Matroids by John Rhodes and Pedro V. Silva
English | 2015 | ISBN-10: 3319151134 | 173 pages | pdf | 2,3 mb

Analysis of Boolean Functions (repost)  eBooks & eLearning

Posted by libr at April 9, 2017
Analysis of Boolean Functions (repost)

Analysis of Boolean Functions by Ryan O'Donnell
English | 2014 | ISBN: 1107038324 | 444 pages | PDF | 3 MB
Business Resilience System (BRS): Driven Through Boolean, Fuzzy Logics and Cloud Computation

Bahman Zohuri, Masoud Moghaddam, "Business Resilience System (BRS): Driven Through Boolean, Fuzzy Logics and Cloud Computation: Real and Near Real Time Analysis and Decision Making System"
2017 | ISBN-10: 3319534165 | 425 pages | PDF | 15 MB

Bridging Constraint Satisfaction and Boolean Satisfiability  eBooks & eLearning

Posted by AvaxGenius at Feb. 11, 2017
Bridging Constraint Satisfaction and Boolean Satisfiability

Bridging Constraint Satisfaction and Boolean Satisfiability By Justyna Petke
English | EPUB | 2015 | 113 Pages | ISBN : 3319218093 | 1 MB

This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers. The author also gives theoretical reasons for choosing a particular SAT encoding for several important classes of CSP instances.

Boolean Algebra  eBooks & eLearning

Posted by step778 at Aug. 23, 2016
Boolean Algebra

Henry Graham Flegg, "Boolean Algebra"
1971 | pages: 157 | ISBN: 0356036022 | DJVU | 1,6 mb

Boolean Functions and Their Applications in Cryptography  eBooks & eLearning

Posted by arundhati at July 20, 2016
Boolean Functions and Their Applications in Cryptography

Chuan-Kun Wu, Dengguo Feng, "Boolean Functions and Their Applications in Cryptography"
2016 | ISBN-10: 3662488639 | 274 pages | PDF | 3 MB

Countable Boolean Algebras and Decidability  eBooks & eLearning

Posted by arundhati at May 22, 2016
Countable Boolean Algebras and Decidability

Sergey Goncharov, "Countable Boolean Algebras and Decidability"
1997 | ISBN-10: 030611061X | 330 pages | PDF | 12 MB

Test Pattern Generation using Boolean Proof Engines [Repost]  eBooks & eLearning

Posted by tanas.olesya at April 27, 2016
Test Pattern Generation using Boolean Proof Engines [Repost]

Test Pattern Generation using Boolean Proof Engines by Rolf Drechsler
English | Apr. 29, 2009 | ISBN: 9048123593 | 192 Pages | PDF | 6 MB

In Test Pattern Generation using Boolean Proof Engines, we give an introduction to ATPG. The basic concept and classical ATPG algorithms are reviewed. Then, the formulation as a SAT problem is considered.

Boolean Circuit Rewiring: Bridging Logical and Physical Designs  eBooks & eLearning

Posted by ksveta6 at April 6, 2016
Boolean Circuit Rewiring: Bridging Logical and Physical Designs

Boolean Circuit Rewiring: Bridging Logical and Physical Designs by Tak-Kei Lam, Wai-Chung Tang, Xing Wei, Yi Diao, David Yu-Liang Wu
2016 | ISBN: 111875011X | English | 304 pages | PDF | 5 MB

Logic and Boolean Algebra (Repost)  eBooks & eLearning

Posted by DZ123 at Jan. 26, 2016
Logic and Boolean Algebra (Repost)

Kathleen Levitz, "Logic and Boolean Algebra"
English | 1979 | ISBN: 0812005376 | PDF | pages: 141 | 17,9 mb