Folgen
Helmut Simonis
Helmut Simonis
Insight Centre for Data Analytics, University College Cork
Bestätigte E-Mail-Adresse bei insight-centre.org
Titel
Zitiert von
Zitiert von
Jahr
Constraint satisfaction using constraint logic programming
P Van Hentenryck, H Simonis, M Dincbas
Artificial intelligence 58 (1-3), 113-159, 1992
2941992
Solving the Car-Sequencing Problem in Constraint Logic Programming.
M Dincbas, H Simonis, P Van Hentenryck
ECAI 88, 290-295, 1988
2811988
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
2671990
Sudoku as a constraint problem
H Simonis
CP Workshop on modeling and reformulating Constraint Satisfaction Problems …, 2005
2552005
Embedding Boolean expressions into logic programming
W Buttner, H Simonis
Journal of Symbolic Computation 4 (2), 191-205, 1987
1831987
A model seeker: Extracting global constraint models from positive examples
N Beldiceanu, H Simonis
Principles and Practice of Constraint Programming: 18th International …, 2012
1182012
Solving a cutting-stock problem in constraint logic programming
M Dincbas
Proc. of the Fifth International Conference and Symposium on Logic …, 1988
971988
Search strategies for rectangle packing
H Simonis, B O’Sullivan
Principles and Practice of Constraint Programming: 14th International …, 2008
812008
Extending equation solving and constraint handling in logic programming
M Dincbas, H Simonis, P van Hentenryck
Rewriting Techniques, 87-115, 1989
601989
Modelling producer/consumer constraints
H Simonis, T Cornelissens
Principles and Practice of Constraint Programming—CP'95: First …, 1995
591995
Comparing solution methods for the machine reassignment problem
D Mehta, B O’Sullivan, H Simonis
Principles and Practice of Constraint Programming: 18th International …, 2012
552012
Traffic flow determination in communications networks
JP Vasseur, E Osborne, J Singer, S Novello, HM Simonis
US Patent 8,194,546, 2012
502012
A constraint seeker: Finding and ranking global constraints from examples
N Beldiceanu, H Simonis
Principles and Practice of Constraint Programming–CP 2011: 17th …, 2011
492011
Building industrial applications with constraint programming
H Simonis
Constraints in Computational Logics: Theory and Applications International …, 2001
482001
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
461996
Test Generation using the Constraint Logic Programming Language CHIP.
H Simonis
ICLP, 101-112, 1989
451989
The CHIP system and its applications
H Simonis
Principles and Practice of Constraint Programming—CP'95: First …, 2005
402005
Search-tree visualisation
H Simonis, A Aggoun
Analysis and Visualization Tools for Constraint Programming: Constraint …, 2000
402000
Using an extended prolog for digital circuit design
H Simonis, M Dincbas
IEEE International Workshop on AI Applications to CAD Systems for …, 1987
391987
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20