Publication | Open Access
A generic arc-consistency algorithm and its specializations
394
Citations
22
References
1992
Year
Mathematical ProgrammingData ConsistencyEngineeringAutomated ReasoningGeneric Arc-consistency AlgorithmVerificationConcurrency TheoryFormal MethodsSystems EngineeringComputer ScienceConsistency TechnologyFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1