Login / Signup
A Constraint Solver and Its Application to Path Feasibility Analysis.
Jian Zhang
Xiaoxu Wang
Published in:
Int. J. Softw. Eng. Knowl. Eng. (2001)
Keyphrases
</>
constraint satisfaction
constraint solver
search algorithm
control system
knowledge representation