Back to Results
First PageMeta Content
Affine geometry / Linear algebra / Binary decision diagram / Diagrams / Model checking / Artificial neuron / Affine transformation / Vector space / Algebra / Mathematics / Boolean algebra


Bit-Precise Reasoning with Affine Functions Neil Kettle and Andy King∗ Portcullis Computer Security Limited, Pinner, HA5 2EX, UK Abstract The class of affine Boolean functions is rich enough to express constant bits an
Add to Reading List

Document Date: 2008-06-09 08:21:20

Open Document

File Size: 193,13 KB

Share Result on Facebook

City

Canterbury / O(n / /

Company

Intel / Portcullis Computer Security Limited / /

Country

United Kingdom / /

Currency

pence / /

Facility

University of Kent / /

IndustryTerm

post-processing step / triangularisation algorithm / divide-and-conquer abstraction algorithm / post-processing algorithm / abstraction algorithm / abstraction algorithms / /

NaturalFeature

Shannon / /

OperatingSystem

Linux / /

Organization

University of Kent / /

Person

Andy King / Ai / Neil Kettle / /

Technology

post-processing algorithm / vectors Algorithm / divide-and-conquer abstraction algorithm / dom / machine learning / abstraction algorithm / triangularisation algorithm / Linux / 5 Experimental Results The abstraction algorithms / /

SocialTag