Open Access
Graph-Based Algorithms for Boolean Function Manipulation
About:
The article was published on 2012-01-01 and is currently open access. It has received 946 citations till now. The article focuses on the topics: Boolean expression & Boolean circuit.read more
Citations
More filters
Book
Introduction to Embedded Systems - A Cyber-Physical Systems Approach
Edward A. Lee,Sanjit A. Seshia +1 more
TL;DR: This book takes a cyber-physical approach to embedded systems, introducing the engineering concepts underlying embedded systems as a technology and as a subject of study.
BookDOI
Inductive Logic Programming: 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
Abstract: This book constitutes the thoroughly refereed post-proceedings of the 23rd International Conference on Inductive Logic Programming, ILP 2013, held in Rio de Janeiro, Brazil, in August 2013. The 9 revised extended papers were carefully reviewed and selected from 42 submissions. The conference now focuses on all aspects of learning in logic, multi-relational learning and data mining, statistical relational learning, graph and tree mining, relational reinforcement learning, and other forms of learning from structured data.
Proceedings ArticleDOI
SDD: a new canonical representation of propositional knowledge bases
TL;DR: A new representation of propositional knowledge bases, the Sentential Decision Diagram (SDD), which is interesting for a number of reasons, including that it is canonical in the presence of additional properties that resemble reduction rules of OBDDs.
Proceedings ArticleDOI
FlowChecker: configuration analysis and verification of federated openflow infrastructures
Ehab Al-Shaer,Saeed Al-Haj +1 more
TL;DR: This work describes a tool, FlowChecker, to identify any intra-switch misconfiguration within a single FlowTable and describes the inter-switch or inter-federated inconsistencies in a path of OpenFlow switches across the same or different OpenFlow infrastructures.
Book ChapterDOI
Model Checking and the State Explosion Problem
TL;DR: This lecture notes will explain how the basic model checking algorithms work and describe some recent approaches to the state explosion problem, with an emphasis on Bounded Model Checking.
References
More filters
Journal ArticleDOI
Automated analysis of feature models 20 years later: A literature review
TL;DR: This paper provides a comprehensive literature review on the automated analysis of feature models 20 years after of their invention and presents a conceptual framework to understand the different proposals as well as categorise future contributions.
Book
Introduction to Embedded Systems - A Cyber-Physical Systems Approach
Edward A. Lee,Sanjit A. Seshia +1 more
TL;DR: This book takes a cyber-physical approach to embedded systems, introducing the engineering concepts underlying embedded systems as a technology and as a subject of study.
BookDOI
Inductive Logic Programming: 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
Abstract: This book constitutes the thoroughly refereed post-proceedings of the 23rd International Conference on Inductive Logic Programming, ILP 2013, held in Rio de Janeiro, Brazil, in August 2013. The 9 revised extended papers were carefully reviewed and selected from 42 submissions. The conference now focuses on all aspects of learning in logic, multi-relational learning and data mining, statistical relational learning, graph and tree mining, relational reinforcement learning, and other forms of learning from structured data.
Proceedings ArticleDOI
SDD: a new canonical representation of propositional knowledge bases
TL;DR: A new representation of propositional knowledge bases, the Sentential Decision Diagram (SDD), which is interesting for a number of reasons, including that it is canonical in the presence of additional properties that resemble reduction rules of OBDDs.
Proceedings ArticleDOI
FlowChecker: configuration analysis and verification of federated openflow infrastructures
Ehab Al-Shaer,Saeed Al-Haj +1 more
TL;DR: This work describes a tool, FlowChecker, to identify any intra-switch misconfiguration within a single FlowTable and describes the inter-switch or inter-federated inconsistencies in a path of OpenFlow switches across the same or different OpenFlow infrastructures.