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

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

3

(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

Vectorial Boolean Functions for Cryptography

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

10.1017/cbo9780511780448.012 ◽

2013 ◽

pp. 398-470 ◽

Author(s):

Claude Carlet

Keyword(s):

Boolean Functions ◽

Vectorial Boolean Functions

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

Learning Boolean Functions with Queries

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

10.1017/cbo9780511780448.010 ◽

2013 ◽

pp. 221-256 ◽

Author(s):

Robert H. Sloan ◽

Balázs Szörényi ◽

György Turán

Keyword(s):

Boolean Functions ◽

Learning Boolean Functions

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 ◽

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 ◽

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 ◽

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