Publication | Closed Access
Modeling and integer programming techniques applied to propositional calculus
101
Citations
15
References
1990
Year
Mathematical ProgrammingEngineeringPropositional CalculusAutomated ReasoningPropositional LogicFormal MethodsSatisfiabilityComputer ScienceFormal VerificationInteger ProgrammingLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1