Hachemi Bennaceur

Available identifiers

zbMath Open bennaceur.hachemiMaRDI QIDQ1042200

List of research outcomes

Publication	Date of Publication	Type
Clique inference process for solving Max-CSP	2009-12-07	Paper
Clique Inference Process for Solving Max-CSP	2008-09-09	Paper
Valid Inequality Based Lower Bounds for WCSP	2008-09-02	Paper
Combining Arc-Consistency and Dual Lagrangean Relaxation for Filtering CSPs	2008-03-17	Paper
A comparison between SAT and CSP techniques	2005-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4475661	2004-08-09	Paper
Consistency problems in ER-schemas for database systems	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4266523	1999-10-04	Paper
An Incremental Branch-and-Bound Method for the Satisfiability Problem	1998-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4368562	1997-12-04	Paper
An exact algorithm for the constraint satisfaction problem: Application to logical inference	1994-03-22	Paper

Research outcomes over time

This page was built for person: Hachemi Bennaceur