Mehmet Dincbas

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

This page was built for person: Mehmet Dincbas