Concepedia

Mehmet Dincbas

MD

Statistics

Publications

13

Citations

1.2K

H-Index

13

Active since

1980

Affiliations

Cosytec (France)(Current)

Mehmet Dincbas is an author at Cosytec (France) specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsLogic ProgrammingConstraintsFormal VerificationSystems EngineeringComputer EngineeringProgramming Languages

Publications per year

1980–1999

13

Publications

13

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

Solving a Cutting-Stock Problem in Constraint Logic Programming.

Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck · International Conference on Lightning Protection · 1988 · 48 citations

Mathematical Programming, Constraint Solving, Engineering +4

1–5 of 13