![](/img/cover-not-exists.png)
Practical Algorithms for Deciding Path Ordering Constraint Satisfaction
Robert Nieuwenhuis, José Miguel RiveroVolume:
178
Year:
2002
Language:
english
Pages:
19
DOI:
10.1006/inco.2002.3146
File:
PDF, 162 KB
english, 2002