Preliminary Formalization of an Incremental Hierarchical Constraint Solver

• Authors:

• Francisco Menezes;Pedro Barahona

• Affiliations:

• -;-

• Venue:
• EPIA '93 Proceedings of the 6th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
• Year:
• 1993