In: CP-AI-OR'01. Third international workshop on integration of AI and OR techniques in constraint programming for combinatorial optimization problems. Proceedings. Ashford, 2001..
Solving conditional and conflicting constraints in manufacturing process planning
In: 45th CIRP Conference on Manufacturing Systems, 16-18 May 2012 Athens, University of Patras. Proceedings, 2012-05-16 - 2012-05-18, Athen, Görögország.
Matching demand and system structure in reconfigurable assembly systems
In: Engineering of intelligent systems. 14th international conference on industrial and engineering applications of artificial intelligence and expert systems, IEA/AIE. Proceedings. Budapest, 2001. (Lecture notes in artificial intelligence, 2070.).
In: Shifting paradigms in software engineering. Proceedings of the 7th joint conference of the Austrian Computer Society and the John von Neumann Society for Computing Sciences. Klagenfurt, 1992.
Lessons of a first-year use of the automated reasoning tool