Hachemi Bennaceur

From MaRDI portal
(Redirected from Person:1042200)



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!

PublicationDate of PublicationType
Clique inference process for solving Max-CSP
European Journal of Operational Research
2009-12-07Paper
Clique Inference Process for Solving Max-CSP
Principles and Practice of Constraint Programming - CP 2006
2008-09-09Paper
Valid Inequality Based Lower Bounds for WCSP
Principles and Practice of Constraint Programming – CP 2007
2008-09-02Paper
Combining Arc-Consistency and Dual Lagrangean Relaxation for Filtering CSPs
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
2008-03-17Paper
A comparison between SAT and CSP techniques
Constraints
2005-03-15Paper
scientific article; zbMATH DE number 2084731 (Why is no real title available?)2004-08-09Paper
Consistency problems in ER-schemas for database systems
Information Sciences
2004-08-06Paper
scientific article; zbMATH DE number 1346500 (Why is no real title available?)1999-10-04Paper
An Incremental Branch-and-Bound Method for the Satisfiability Problem
INFORMS Journal on Computing
1998-01-01Paper
scientific article; zbMATH DE number 1094771 (Why is no real title available?)1997-12-04Paper
An exact algorithm for the constraint satisfaction problem: Application to logical inference
Information Processing Letters
1994-03-22Paper


Research outcomes over time


This page was built for person: Hachemi Bennaceur