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

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

Boolean Algebra  eBooks & eLearning

Posted by C2U at Jan. 26, 2016
Boolean Algebra

Boolean Algebra
32 Mins | Video: AVC (.mp4) 1280x720 | Audio: AAC 48KHz 2ch | 138 MB
Genre: eLearning | English

All Theorems, Logic Gates & Circuits and Karnaugh-Maps

High Quality Test Pattern Generation and Boolean Satisfiability (repost)  eBooks & eLearning

Posted by fdts at Dec. 16, 2015
High Quality Test Pattern Generation and Boolean Satisfiability (repost)

High Quality Test Pattern Generation and Boolean Satisfiability
by Stephan Eggersglüß, Rolf Drechsler
English | 2011 | ISBN: 1441999752 | 212 pages | PDF | 1.51 MB