vai alle Pubblicazioni
Publications prior to 2004
Book Chapter
I. Crnkovic, B. Hnich, T. Johnsson e Z. Kiziltan. Basic Concepts
in CBSE. In: I. Crnkovic and M. Larsson (eds.) Building
Reliable Component-Based Systems. ISBN 1-58053-327-2,
Artec House Publishers, Chapter 1, pp. 3--22, 2002.
Journals
I. Crnkovic, B. Hnich, T. Johnsson, and Z. Kiziltan.
Specification, Implementation, and Deployment of Components. In: A.
Arsanjani (ed.), Special Issue of Communications of the ACM on
Enterprize Components, Services, and Manners, 45(10), pp.
35--40. Association for Computing (ACM), October 2002.
Refereed Conferences
Z. Kiziltan. Symmetry Breaking Ordering Constraints. In: F.
Rossi (ed.), Proc. of the 9th Int'l Conference on Principles
and Practice of Constraint Programming (CP'03), p. 979.
Lecture Notes in Computer Science, volume 2833. Springer-Verlag,
2003.
A.M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, and T. Walsh.
Multiset Ordering Constraints. In: G. Gottlob (ed.), Proc. of
the 18th Int'l Joint Conference on Artificial Intelligence
(IJCAI'03), pp. 221--226. Morgan Kaufmann, 2003.
P. Flener, A.M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, J.
Pearson, and T. Walsh. Breaking Row and Column Symmetries in Matrix
Models. In: P. Van Hentenryck (ed.), Proc. of the 8th Int'l
Conference on Principles and Practice of Constraint Programming
(CP'02), pp. 462--476. Lecture Notes in Computer Science,
volume 2470. Springer-Verlag, 2002.
A.M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, and T. Walsh.
Global Constraints for Lexicographic Orderings. In: P. Van
Hentenryck (ed.), Proc. of CP'02, pp. 93--108. Lecture
Notes in Computer Science, volume 2470. Springer-Verlag, 2002.
Z. Kiziltan. Reducing Symmetry in Matrix Models. In: P. Van
Hentenryck (ed.), Proc. of CP'02, p. 786. Lecture Notes in
Computer Science, volume 2470. Springer-Verlag, 2002.
P. Flener, A.M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, J.
Pearson, and T. Walsh. Breaking Row and Column Symmetries in Matrix
Models. In: T. Vidal and P. Liberatore (eds.), Proc. of the
1sth European Starting AI Researcher Symposium (STAIRS'02).IOS
Press, 2002.
B. Hnich, Z. Kiziltan, and T. Walsh. Modelling a Balanced
Academic Curriculum Problem. In: N. Jussien and F. Laburthe (eds.),
Proc. of the 4th Int'l Workshop on Integration of AI and OR
Techniques in Constraint Programming for Combinatorial Optimisation
Problems (CP-AI-OR'02), pp. 121--131, 2002.
Z. Kiziltan. Labelling Heuristics for CSP Application Domains.
In: T. Walsh (ed.), Proc. of the 7th Int'l Conference on
Principles and Practice of Constraint Programming (CP'01), p.
769. Lecture Notes in Computer Science, volume 2239.
Springer-Verlag, 2001.
Z. Kiziltan, P. Flener, and B. Hnich. Towards Inferring
Labelling Heuristics for CSP Application Domains. In: F. Baader, G.
Brewka, and T. Eiter (eds.), Proc. of the 24th German / 9th
Austrian Conference on Artificial Intelligence (KI'01), pp.
275--289. Lecture Notes in Artificial Intelligence, volume
2174.
Springer-Verlag, 2001.
P. Flener, B. Hnich, and Z. Kiziltan. Compiling High-level Type
Constructors in Constraint Programming. In: I.V. Ramakrishnan
(ed.), Proc. of the 3rd Int'l Symposium on Practical
Aspects of Declarative Languages (PADL'01), pp. 229--244.
Lecture Notes in Computer Science, volume 1990. Springer-Verlag,
2001.
P. Flener, B. Hnich, and Z. Kiziltan. A Meta-heuristic for
Subset Problems. In: I.V. Ramakrishnan (ed.), Proc. of
PADL'01, pp. 274--287. Lecture Notes in Computer Science,
volume 1990. Springer-Verlag, 2001.
Refereed Workshops
C. Bessiere, E. Hebrard, B. Hnich, Z. Kiziltan, and T. Walsh.
Among, Common and Disjoint Constraints. In Proc. of the 2005
Joint Workshop of the ERCIM and CoLogNet on Constraint Solving and
Constraint Logic Programming, 2005 (15 pages).
C. Bessiere, E. Hebrard, B. Hnich, Z. Kiziltan, and T. Walsh.
Filtering Algorithms for the Nvalue Constraint. In Proc.
of the AI*IA Workshop on Experimental Analysis and Benchmark of
Algorithms for Artificial Intelligence (RCRA'05), 2005 (10
pages).
B. Hnich and Z. Kiziltan and T. Walsh. Combining Symmetry
Breaking with Other Constraints: Lexicographic Ordering with Sums.
In Proc. of the CP'03 Workshop on Symmetry in Constraint
Satisfaction Problems (SymCon'03), 2003 (15 pages).
Z. Kiziltan and M. Milano. Group-graphs Associated with Row and
Column Symmetries of Matrix Models: Some Observations. In Proc.
of the CP'02 Workshop on Symmetry in Constraint Satisfaction
Problems (SymCon'02), 2002 (9 pages).
Z. Kiziltan and B.M. Smith. Symmetry Breaking Constraints for
Matrix Models. In Proc. of SymCon'02, 2002 (8 pages).
Z. Kiziltan and T. Walsh. Constraint Programming with Multisets.
In Proc. of SymCon'02, 2002 (12 pages).
P. Flener, A.M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, and T.
Walsh. Matrix Modelling: Exploiting Common Patterns in Constraint
Programming. In Proc. of the CP'02 Int'l Workshop on
Reformulating CSPs, 2002 (15 pages).
P. Flener, A.M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, and T.
Walsh. Matrix Modelling. In Proc. of the CP'01 Workshop on
Modelling and Problem Formulation (Formul'01), 2001 (15
pages).
P. Flener, A.M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, J.
Pearson, and T. Walsh. Symmetry in Matrix Models. In Proc. of
the CP'01 Workshop on Symmetry in Constraint Satisfaction Problems
(SymCon'01), 2001 (15 pages).
Z. Kiziltan and B. Hnich. Symmetry Breaking in a Rack
Configuration Problem. In Proc. of the IJCAI'01 Workshop on
Modelling and Solving Problems with Constraints, 2001 (15
pages).
B. Hnich, Z. Kiziltan, and P. Flener. A Meta-heuristic for
Subset Decision Problems. In Proc. of the 2000 ERCIM / CompuLog
Workshop on Constraint Programming, 2000 (15 pages).
B. Hnich and Z. Kiziltan. Generating Programs for k-subsets
Problems. In Proc. of the Doctoral Symposium of 14th IEEE Int'l
Conference on Automated Software Engineering (ASE'99), 1999
(10 pages).
P. Flener, B. Hnich, and Z. Kiziltan. Towards Schema-guided
Compilation of Set Constraint Programs. In Proc. of the
Workshop on Declarative Programming with Sets (DPS'99), 1999
(15 pages).