Person:1969730

Available identifiers

zbMath Open dincbas.mehmetMaRDI QIDQ1969730

List of research outcomes

Publication	Date of Publication	Type
Propositional calculus problems in CHIP	2022-08-16	Paper
A methodological view of constraint solving	2000-03-19	Paper
Constraint satisfaction using constraint logic programming	1993-04-01	Paper
Solving a cutting-stock problem with the constraint logic programming language CHIP	1993-01-16	Paper
Solving large combinatorial problems in logic programming	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3805963	1988-01-01	Paper
Extended unification algorithms for the integration of functional programming into logic programming	1987-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mehmet Dincbas