Solving the All-Interval Series Problem: SAT vs CP

Van-Hau NguyenVan-Hau Nguyen, Thai Mai SonThai Mai Son

Van-Hau Nguyen, Thai Mai Son
Solving the All-Interval Series Problem: SAT vs CP
5th International Symposium on Information and Communication Technology, SoICT '14, Hanoi, Viet Nam - December 04 - 05, 2014, to appear, 2014

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{NS2014,
  author    = {Van-Hau Nguyen and Thai Mai Son},
  title     = {Solving the All-Interval Series Problem: {SAT} vs {CP}},
  booktitle = {5th International Symposium on Information and Communication
               Technology, {SoICT} '14, Hanoi, Viet Nam - December 04 - 05,
               2014, to appear},
  year      = {2014}
}