Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.


Frisch, A.M., Peugniez, T.J., Doggett, A.J. et al. (1 more author) (2005) Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings. Journal of Automated Reasoning, 35 ( 1-3). pp. 143-179. ISSN 0168-7433

Proceedings Paper

Frisch, A.M., Jefferson, C., Martinez Hernandez, B. et al. (1 more author) (2005) The Rules of Constraint Modelling. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence. IJCAI-05, 30 JULY - 5 AUGUST 2005, Edinburgh, Scotland. , pp. 109-116.

Flener, P., Frisch, A.M., Hnich, B. et al. (4 more authors) (2002) Breaking row and column symmetries in matrix models. In: Proceedings of the 8th International Conference on Principles and Practice of Constraint Programmin. Principles and Practice of Constraint Programming - (CP 2002), 9 - 13 September 2002, Ithaca, New York, USA. Lecture Notes in Computer Science (2470). Springer , Berlin / Heidelberg , pp. 462-477. ISBN 978-3-540-44120-5

This list was generated on Mon Jan 13 06:39:40 2020 GMT.