Title of article
Practical Algorithms for Deciding Path Ordering Constraint Satisfaction
Author/Authors
Robert Nieuwenhuis، نويسنده , , Jose Miguel Rivero، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
19
From page
422
To page
440
Keywords
automated deduction , ordered strategies , symbolic constraints.
Journal title
Information and Computation
Serial Year
2002
Journal title
Information and Computation
Record number
262094
Link To Document