Propositional directed acyclic graph - PDFSEARCH.IO - Document Search Engine

Propositional directed acyclic graph
Results: 4

#	Item
1	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 Source URL: www.mpi-sws.org Language: English - Date: 2014-05-28 08:28:09 Function Boolean algebra Artificial neuron Numerical software GEC Propositional directed acyclic graph Mathematics Functions and mappings Mathematical logic
2	Overview Modelling Algorithmic Verification Comp4151 Lecture 5-A Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Binary decision diagram Model checking Artificial neuron Theoretical computer science Applied mathematics Assembly languages Propositional directed acyclic graph COMPASS/Sample Code Boolean algebra Diagrams Mathematics
3	A logical basis for quantum evolution and entanglement Richard F. Blute1 , Alessio Guglielmi2 , Ivan T. Ivanov3 , Prakash Panangaden4 , and Lutz Straßburger5 1 Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2013-09-18 14:19:30 Proof theory Non-classical logic Logic in computer science Deduction Propositional calculus Linear logic Entailment Directed acyclic graph Curry–Howard correspondence Logic Mathematical logic Mathematics
4	Boolean Decision trees Problems and Results, Old and New Add to Reading List Source URL: www.math.rutgers.edu Language: English - Date: 2006-03-20 23:31:05 Applied mathematics Computational complexity theory Boolean function Cryptography Decision tree model Tree Clique problem Propositional directed acyclic graph Theoretical computer science Boolean algebra Mathematics