Back to Results
First PageMeta Content
Function / Boolean algebra / Artificial neuron / Numerical software / GEC / Propositional directed acyclic graph / Mathematics / Functions and mappings / Mathematical logic


Certificates of Non-Membership for Classes of Read-Once Functions Dmitry Chistikov1? , Valentina Fedorova2 , and Andrey Voronenko2 1 Max Planck Institute for Software Systems (MPI-SWS), Germany
Add to Reading List

Document Date: 2014-05-28 08:28:09

Open Document

File Size: 460,04 KB

Share Result on Facebook

Company

CNF / /

Country

Germany / Russia / /

/

Facility

Moscow State University / Max Planck Institute / /

IndustryTerm

software engineering / algorithm / polynomialquery learning algorithms / linear-time certifying algorithms / /

Organization

Moscow State University / Max Planck Institute for Software Systems / /

Person

Stewart Burlingham / Lerchs Burlingham / Bob / Alice / Dmitry Chistikov / /

Technology

polynomialquery learning algorithms / separate algorithm / linear-time certifying algorithms / /

SocialTag