Publication | Closed Access
Bounded queries to SAT and the Boolean hierarchy
114
Citations
17
References
1991
Year
EngineeringAutomated ReasoningSat SolvingComputational ComplexityComputer ScienceDiscrete MathematicsDatabase TheorySatisfiabilityBoolean Hierarchy
| Year | Citations | |
|---|---|---|
Page 1
Page 1