Publication | Closed Access
A generalization of the algorithm of Heidtmann to non-monotone formulas
22
Citations
8
References
1996
Year
Mathematical ProgrammingComputational Complexity TheoryEngineeringAlgorithm DesignAutomated ReasoningAnalysis Of AlgorithmAlgorithmic EfficiencyComputational ComplexityComputer ScienceDiscrete MathematicsAlgorithmic Information TheoryApproximation Theory
| Year | Citations | |
|---|---|---|
Page 1
Page 1