A generic arc-consistency algorithm and its specializations - Concepedia

Concepedia

Publication | Open Access

A generic arc-consistency algorithm and its specializations

DOI Full Paper Access

394

Citations

22

References

1992

Year

Pascal Van Hentenryck, Yves Deville, Choh-Man Teng

Artificial Intelligence

Mathematical ProgrammingData ConsistencyEngineeringAutomated ReasoningGeneric Arc-consistency AlgorithmVerificationConcurrency TheoryFormal MethodsSystems EngineeringComputer ScienceConsistency TechnologyFormal Verification

References

	Year	Citations

Page 1