Boolean Models and Methods in Mathematics, Computer Science, and Engineering
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Cambridge University Press

9780511780448

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Introduction

Boolean Models and Methods in Mathematics, Computer Science, and Engineering ◽

10.1017/cbo9780511780448.002 ◽

2013 ◽

pp. ix-xii

Download Full-text

Hardware Equivalence and Property Verification

Boolean Models and Methods in Mathematics, Computer Science, and Engineering ◽

10.1017/cbo9780511780448.018 ◽

2013 ◽

pp. 599-674

Author(s):

J.-H. Roland Jiang ◽

Tiziano Villa

Keyword(s):

Property Verification

Download Full-text

Probabilistic Analysis of Satisfiability Algorithms

Boolean Models and Methods in Mathematics, Computer Science, and Engineering ◽

10.1017/cbo9780511780448.007 ◽

2013 ◽

pp. 99-159

Author(s):

John Franco

Keyword(s):

Probabilistic Analysis ◽

Satisfiability Algorithms

Download Full-text

Vectorial Boolean Functions for Cryptography

Boolean Models and Methods in Mathematics, Computer Science, and Engineering ◽

10.1017/cbo9780511780448.012 ◽

2013 ◽

pp. 398-470 ◽

Cited By ~ 155

Author(s):

Claude Carlet

Keyword(s):

Boolean Functions ◽

Vectorial Boolean Functions

Download Full-text

Compositions and Clones of Boolean Functions

Boolean Models and Methods in Mathematics, Computer Science, and Engineering ◽

10.1017/cbo9780511780448.004 ◽

2013 ◽

pp. 3-38 ◽

Cited By ~ 1

Author(s):

Reinhard Pöschel ◽

Ivo Rosenberg

Keyword(s):

Boolean Functions

Download Full-text

Optimization Methods in Logic

Boolean Models and Methods in Mathematics, Computer Science, and Engineering ◽

10.1017/cbo9780511780448.008 ◽

2013 ◽

pp. 160-194

Author(s):

John Hooker

Keyword(s):

Optimization Methods

Download Full-text

Fourier Transforms and Threshold Circuit Complexity

Boolean Models and Methods in Mathematics, Computer Science, and Engineering ◽

10.1017/cbo9780511780448.015 ◽

2013 ◽

pp. 531-553

Author(s):

Jehoshua Bruck

Keyword(s):

Fourier Transforms ◽

Circuit Complexity ◽

Threshold Circuit

Download Full-text

Neural Networks and Boolean Functions

Boolean Models and Methods in Mathematics, Computer Science, and Engineering ◽

10.1017/cbo9780511780448.016 ◽

2013 ◽

pp. 554-576 ◽

Cited By ~ 3

Author(s):

Martin Anthony

Keyword(s):

Neural Networks ◽

Boolean Functions

Download Full-text

Decision Lists and Related Classes of Boolean Functions

Boolean Models and Methods in Mathematics, Computer Science, and Engineering ◽

10.1017/cbo9780511780448.017 ◽

2013 ◽

pp. 577-596

Author(s):

Martin Anthony

Keyword(s):

Boolean Functions ◽

Decision Lists

Download Full-text

Learning Boolean Functions with Queries

Boolean Models and Methods in Mathematics, Computer Science, and Engineering ◽

10.1017/cbo9780511780448.010 ◽

2013 ◽

pp. 221-256 ◽

Cited By ~ 1

Author(s):

Robert H. Sloan ◽

Balázs Szörényi ◽

György Turán

Keyword(s):

Boolean Functions ◽

Learning Boolean Functions

Download Full-text

Boolean Models and Methods in Mathematics, Computer Science, and EngineeringLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Cambridge University Press

Introduction

Hardware Equivalence and Property Verification

Probabilistic Analysis of Satisfiability Algorithms

Vectorial Boolean Functions for Cryptography

Compositions and Clones of Boolean Functions

Optimization Methods in Logic

Fourier Transforms and Threshold Circuit Complexity

Neural Networks and Boolean Functions

Decision Lists and Related Classes of Boolean Functions

Learning Boolean Functions with Queries

Boolean Models and Methods in Mathematics, Computer Science, and Engineering
Latest Publications