Skip to main navigation
Skip to search
Skip to main content
Ben-Gurion University Research Portal Home
Help & FAQ
Home
Profiles
Research output
Research units
Prizes
Press/Media
Student theses
Activities
Research Labs / Equipment
Datasets
Projects
Search by expertise, name or affiliation
Worst-case groundness analysis using positive Boolean functions
Michael Codish
Department of Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
12
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Worst-case groundness analysis using positive Boolean functions'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Abstract Interpretation
100%
Positive Boolean Function
100%
Moral
50%
Abstract Domains
50%
Reduced Ordered Binary Decision Diagram (ROBDD)
50%
Computer Science
Abstract Interpretation
100%
Boolean Function
100%
Inherent Complexity
50%