Concepedia

Helmut Simonis

HS

Statistics

Publications

17

Citations

1.4K

H-Index

13

Active since

1987

Affiliations

University College Cork(Current)

Kista Photonics Research Center

Nantes Université

Helmut Simonis is an author at University College Cork specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningLogic ProgrammingSystems EngineeringComputer EngineeringMathematical ProgrammingCombinatorial OptimizationOperations Research

Publications per year

1987–2021

17

Publications

17

The Constraint Logic Programming Language CHIP.

Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis et al. · Future Generation Computer Systems · 1988 · 498 citations

Constraint Solving, Engineering, Automated Reasoning +8

Solving large combinatorial problems in logic programming

Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck · The Journal of Logic Programming · 1990 · 153 citations

Engineering, Automated Reasoning, Combinatorial Problem +6

Solving the car-sequencing problem in constraint logic programming

Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck · 1988 · 149 citations

Constraint satisfaction using constraint logic programming

Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas · Artificial Intelligence · 1992 · 129 citations

Constraint Solving, Engineering, Constraint Satisfaction +6

Sudoku as a Constraint Problem

Helmut Simonis · Journal of Leukocyte Biology · 2005 · 115 citations

1–5 of 17