Helmut Simonis
Helmut Simonis
Insight Centre for Data Analytics, University College Cork
Verified email at insight-centre.org
Title
Cited by
Cited by
Year
The constraint logic programming language CHIP
M Dincbas
Proc. of the Fifth Generation Computer Systems 88, 693-702, 1988
8791988
Constraint satisfaction using constraint logic programming
P Van Hentenryck, H Simonis, M Dincbas
Artificial intelligence 58 (1-3), 113-159, 1992
2871992
Solving the Car-Sequencing Problem in Constraint Logic Programming.
M Dincbas, H Simonis, P Van Hentenryck
ECAI 88, 290-295, 1988
2621988
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
2551990
Sudoku as a constraint problem
H Simonis
CP Workshop on modeling and reformulating Constraint Satisfaction Problems …, 2005
2122005
Constraint-based reasoning
EC Freuder, AK Mackworth
MIT press 58 (1-3), 1994
178*1994
Embedding Boolean expressions into logic programming
W Buttner, H Simonis
Journal of Symbolic Computation 4 (2), 191-205, 1987
1621987
Solving a cutting-stock problem in constraint logic programming
M Dincbas
Proc. of the Fifth International Conference and Symposium on Logic …, 1988
921988
A model seeker: Extracting global constraint models from positive examples
N Beldiceanu, H Simonis
International Conference on Principles and Practice of Constraint …, 2012
872012
Search strategies for rectangle packing
H Simonis, B O’Sullivan
International Conference on Principles and Practice of Constraint …, 2008
692008
Modelling producer/consumer constraints
H Simonis, T Cornelissens
International Conference on Principles and Practice of Constraint …, 1995
561995
Extending equation solving and constraint handling in logic programming
M Dincbas, H Simonis, P van Hentenryck
Rewriting Techniques, 87-115, 1989
551989
Comparing solution methods for the machine reassignment problem
D Mehta, B O’Sullivan, H Simonis
International Conference on Principles and Practice of Constraint …, 2012
522012
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
471988
Building industrial applications with constraint programming
H Simonis
International Summer School on Constraints in Computational Logics, 271-309, 1999
441999
Traffic flow determination in communications networks
J Vasseur, E Osborne, J Singer, S Novello, HM Simonis
US Patent 8,194,546, 2012
432012
A problem classification scheme for finite domain constraint solving
H Simonis
Proceeding of workshop on constraint applications, CP96, Boston, 1996
431996
Set constraints and logic programming
D Kozen
International Conference on Constraints in Computational Logics, 302-303, 1994
401994
Test Generation using the Constraint Logic Programming Language CHIP.
H Simonis
ICLP, 101-112, 1989
401989
Search-tree visualisation
H Simonis, A Aggoun
Analysis and Visualization Tools for Constraint Programming, 191-208, 2000
392000
The system can't perform the operation now. Try again later.
Articles 1–20