Segui
Helmut Simonis
Helmut Simonis
Insight Centre for Data Analytics, University College Cork
Email verificata su insight-centre.org
Titolo
Citata da
Citata da
Anno
Solving a cutting-stock problem with the constraint logic programming language CHIP
M Dincbas, H Simonis, P Van Hentenryck
Mathematical and computer modelling 16 (1), 95-105, 1992
10061992
Constraint satisfaction using constraint logic programming
P Van Hentenryck, H Simonis, M Dincbas
Artificial intelligence 58 (1-3), 113-159, 1992
3011992
Solving the Car-Sequencing Problem in Constraint Logic Programming.
M Dincbas, H Simonis, P Van Hentenryck
ECAI 88, 290-295, 1988
2891988
Solving large combinatorial problems in logic programming
M Dincbas, H Simonis, P Van Hentenryck
The Journal of Logic Programming 8 (1-2), 75-93, 1990
2691990
Sudoku as a constraint problem
H Simonis
CP Workshop on modeling and reformulating Constraint Satisfaction Problemsá…, 2005
2602005
Embedding Boolean expressions into logic programming
W Buttner, H Simonis
Journal of Symbolic Computation 4 (2), 191-205, 1987
1861987
A model seeker: Extracting global constraint models from positive examples
N Beldiceanu, H Simonis
International Conference on Principles and Practice of Constraintá…, 2012
1362012
Search strategies for rectangle packing
H Simonis, B O’Sullivan
International Conference on Principles and Practice of Constraintá…, 2008
862008
Modelling producer/consumer constraints
H Simonis, T Cornelissens
International Conference on Principles and Practice of Constraintá…, 1995
621995
Extending equation solving and constraint handling in logic programming
M Dincbas, H Simonis, P van Hentenryck
Rewriting Techniques, 87-115, 1989
601989
Traffic flow determination in communications networks
JP Vasseur, E Osborne, J Singer, S Novello, HM Simonis
US Patent 8,194,546, 2012
572012
Comparing solution methods for the machine reassignment problem
D Mehta, B O’Sullivan, H Simonis
International Conference on Principles and Practice of Constraintá…, 2012
562012
A constraint seeker: Finding and ranking global constraints from examples
N Beldiceanu, H Simonis
Principles and Practice of Constraint Programming–CP 2011: 17thá…, 2011
522011
Building industrial applications with constraint programming
H Simonis
International Summer School on Constraints in Computational Logics, 271-309, 1999
481999
Applications of CHIP to industrial and engineering problems
M Dincbas, PV Hentenryck, H Simonis, A Aggoun, T Graf
Proceedings of the 1st international conference on Industrial andá…, 1988
481988
A problem classification scheme for finite domain constraint solving
H Simonis
CP96, Workshop on Constraint Programming Applications: An Inventory andá…, 1996
471996
Test Generation using the Constraint Logic Programming Language CHIP.
H Simonis
ICLP, 101-112, 1989
421989
A generic visualization platform for CP
H Simonis, P Davern, J Feldman, D Mehta, L Quesada, M Carlsson
Principles and Practice of Constraint Programming–CP 2010: 16thá…, 2010
412010
Search-tree visualisation
H Simonis, A Aggoun
Analysis and Visualization Tools for Constraint Programming: Constraintá…, 2000
412000
Propositional calculus problems in CHIP
H Simonis, M Dincbas
International Conference on Algebraic and Logic Programming, 189-203, 1990
411990
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20