Syntactically Characterizing Local-to-Global Consistency in ORD-Horn

Tytuł:
Syntactically Characterizing Local-to-Global Consistency in ORD-Horn
Czasopismo:
Rok:
2012

Opis:
Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Quebec City, QC, Canada, October 8-12, 2012. Proceedings

Strony:
704--719

Tom (seria wydawnicza):
7514

Numer DOI:
10.1007/978-3-642-33558-7_51