CITATION STYLE
Beaumont, M., Thornton, J., Sattar, A., & Maher, M. (2004). Solving over-const rained temporal reasoning problems using local search. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 3157, pp. 134–143). Springer Verlag. https://doi.org/10.1007/978-3-540-28633-2_16
Mendeley helps you to discover research relevant for your work.