Skip to main navigation
Skip to search
Skip to main content
Augusta University Research Profiles Home
Help & FAQ
Home
Profiles
Research units
Equipment
Grants
Scholarly Output
Datasets
Activities
Prizes
Search by expertise, name or affiliation
A hierarchy of propositional Horn formulas
Bogdan S. Chlebus
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A hierarchy of propositional Horn formulas'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Hierarchy
100%
Alternation
29%
Satisfiability Problem
27%
Satisfiability
26%
Game
19%
Relationships
14%
Engineering & Materials Science
Networks (circuits)
66%