Mehmet Dincbas
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Propositional calculus problems in CHIP Algebraic and Logic Programming | 2022-08-16 | Paper |
| A methodological view of constraint solving Constraints | 2000-03-19 | Paper |
| Constraint satisfaction using constraint logic programming Artificial Intelligence | 1993-04-01 | Paper |
| Solving a cutting-stock problem with the constraint logic programming language CHIP Mathematical and Computer Modelling | 1993-01-16 | Paper |
| Solving large combinatorial problems in logic programming The Journal of Logic Programming | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4074543 (Why is no real title available?) | 1988-01-01 | Paper |
| Extended unification algorithms for the integration of functional programming into logic programming The Journal of Logic Programming | 1987-01-01 | Paper |
Research outcomes over time
This page was built for person: Mehmet Dincbas
