Publication | Closed Access
Tools for reformulating logical forms into zero-one mixed integer programs
44
Citations
17
References
1994
Year
Logic SynthesisDeclarative ProgrammingEngineeringProgram AnalysisAutomated ReasoningVerificationAbstract InterpretationFormal MethodsSoftware AnalysisProgram SynthesisComputer ScienceLogical FormsFormal VerificationInteger ProgrammingLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1