| Accueil |
 |
|
|
 |
| Équipes |
|
|
|
 |
| Projets struct. |
|
|
|
|
| Vie du laboratoire |
|
|
|
|
|
 |
Belaïd BENHAMOU
|
 |
|
|
|
Membre de l'équipe INCA |
| |
| Fonction : |
Maître de conférences (MCF) |
| UFR : |
Université de Provence (U1) |
| |
| Tél. : |
04 91 11 36 22 |
| E-mail : |
belaid benhamou cmiuniv-mrsfr |
| |
| Adresse : |
LSIS - UMR CNRS 6168
Domaine Universitaire de Saint-Jérôme
Avenue Escadrille Normandie-Niemen
13397 MARSEILLE CEDEX 20 |
|
PUBLICATIONS
|
|
@inproceedings {BenhamouSaidi08,
audience = {internationale},
author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Sa\"{i}di},
title = {A new incomplete method for CSP inconsistency checking},
booktitle = {Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08)},
publisher = {AAAI Press},
address = {Chicago, Illinois, USA},
month = {juillet},
year = {2008},
note = {à paraître},
equipe = {INCA}
}
|
|
|
@incollection {BOADB08,
author = {Dalila Boughaci and Brahim Oubeka and Abdelkader Aissioui and Habiba Drias and Bela\"{i}d Benhamou},
title = {Design and Implementation of a Distributed Firewall using Autonomous Agents},
booktitle = {Handbook of Research on Information Security and Assurance},
editor = {Jatinder N. D. Gupta and Sushil K Sharma},
publisher = {Idea Group Inc , USA , 2008},
month = {avril},
year = {2008},
note = {à paraître},
equipe = {INCA}
}
|
|
|
@article {BoughaciBenhamouDrias08,
audience = {internationale},
author = {Dalila Boughaci and B. Benhamou and H .Drias},
title = {Genetic algorithms and scatter search for MAX-SAT problems},
journal = {Journal of Mathematical modelling and Algorithms (JMMA)},
volume = {Springer},
month = {avril},
year = {2008},
note = {à paraître},
equipe = {INCA}
}
|
|
|
@inproceedings {DBoughaciBBenhamouDrias08,
audience = {nationale},
author = {D.Boughaci and B.Benhamou and H. Drias},
title = {Approches \'{e}volutionnaires pour le probl\`{e}me MAX-SAT},
booktitle = {2008},
organization = {7 \`{e}me Conf\'{e}erence Francophone de MOd\'{e}lisation et SIMulation},
publisher = {- MOSIM'08 - du 31 mars au 2 avril 2008},
month = {mars},
year = {2008},
note = {à paraître},
equipe = {INCA}
}
|
|
|
@inproceedings {DBoughaciBBenhamouDrias08a,
audience = {nationale},
author = {D.Boughaci and B.Benhamou and H. Drias},
title = {Approches \'{e}volutionnaires pour le probl\`{e}me MAX-SAT},
booktitle = {2008},
organization = {7 \`{e}me Conf\'{e}erence Francophone de MOd\'{e}lisation et SIMulation},
publisher = {- MOSIM'08 - du 31 mars au 2 avril 2008},
month = {mars},
year = {2008},
note = {à paraître},
equipe = {INCA}
}
|
|
|
@inproceedings {BoughaciBenhamouHDrias07,
audience = {internationale},
author = {Dalila Boughaci and B. Benhamou and H. Drias},
title = {IGA: an Improved Genetic Algorithm for MAX-SAT Problems},
booktitle = {Indian International Conference on Artificial Intelligence (IICAI)-07},
month = {d\'{e}cembre},
year = {2007},
note = {à paraître},
equipe = {INCA}
}
|
|
|
@inproceedings {BenhamouSd,
audience = {internationale},
author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Sa\"{i}di},
title = {Detecting and Eliminating Local Symmetry During Search in CSPs},
booktitle = {3rd Indian International Conference on Artificial Intelligence (IICAI-07)},
editor = {Bhanu Prasad},
number = {ISBN 978--0-9727412--2-4},
pages = {151--166},
address = {Pune, India},
month = {d\'{e}cembre},
year = {2007},
equipe = {INCA}
}
|
|
|
@inproceedings {HabetParisBenhamou07,
audience = {internationale},
author = {Djamal Habet and Lionel Paris and Belaid Benhamou},
title = {Consistent Neighborhood for the Satisfiability Problem},
booktitle = {Proceedings of the 19th International Conference on Tools with Artificial Intelligence (ICTAI'07)},
pages = {497--501},
publisher = {IEEE},
address = {Patras, Greece},
month = {novembre},
year = {2007},
equipe = {INCA}
}
|
|
|
@inproceedings {BenhamouSe,
audience = {internationale},
author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Sa\"{i}di},
title = {Local Symmetry Breaking During Search in CSPs},
booktitle = {The 13th International Conference on Principles and Practice of Constraint Programming (CP 2007)},
editor = {Springer},
series = {LNCS},
volume = {4741},
pages = {195--209},
address = {Providence, USA},
month = {septembre},
year = {2007},
equipe = {INCA}
}
|
|
|
@inproceedings {BenhamouSaidi07,
audience = {internationale},
author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Sa\"{i}di},
title = {Dynamic Detection and Elimination of Local Symmetry in CSPs},
booktitle = {The CP 2007 Workshop on Symmetry and Constraint Satisfaction Problems (SymCon'07)},
editor = {B. Benhamou, B.Y. Choueiry, and B. Hnich (Eds.)},
pages = {22--29},
address = {Providence, USA},
month = {septembre},
year = {2007},
equipe = {INCA}
}
|
|
|
@inproceedings {ZDSB07,
audience = {internationale},
author = {St\'{e}phane Zampelli and Yves Deville and Mohamed R\'{e}da Sa\"{i}di and Bela\"{i}d Benhamou},
title = {Symmetry Breaking in Subgraph Isomorphism},
booktitle = {The CP 2007 Workshop on Symmetry and Constraint Satisfaction Problems (SymCon'07)},
address = {Providence, USA},
month = {septembre},
year = {2007},
note = {à paraître},
equipe = {INCA}
}
|
|
|
@inproceedings {BoughaciBenhamouDrias07,
audience = {nationale},
author = {D. Boughaci and B. Benhamou and H. Drias},
title = {Une recherche dispers\'{e}e pour le probl\`{e}me MAX-SAT},
booktitle = {8e Rencontres nationales des Jeunes Chercheurs en Intelligence Artificielle RJCIA 2007},
month = {juillet},
year = {2007},
note = {à paraître},
equipe = {INCA}
}
|
|
|
@inproceedings {ParisHabetBenhamou07,
audience = {nationale},
author = {Lionel Paris and Djamal Habet and Bela\"{i}d Benhamou},
title = {Voisinage consistant pour le probl\`{e}me de satisfaisabilit\'{e}},
booktitle = {Actes des troisi\`{e}mes Journ\'{e}es Francophones de Programmation par Contraintes (JFPC’2007)},
pages = {58--66},
address = {Rocquencourt, France},
month = {juin},
year = {2007},
equipe = {INCA}
}
|
|
|
@inproceedings {BenhamouSc,
audience = {nationale},
author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Sa\"{i}di},
title = {Elimination des sym\'{e}tries locales durant la r\'{e}solution des CSPs},
booktitle = {Actes des troisi\`{e}mes Journ\'{e}es Francophones de Programmation par Contraintes (JFPC’2007)},
pages = {245--254},
address = {Rocquencourt, France},
month = {juin},
year = {2007},
equipe = {INCA}
}
|
|
|
@inproceedings {BoughaciDrias07,
audience = {internationale},
author = {Dalila Boughaci and B. Benhamou, H. Drias,},
title = {Solving MAX-SAT Problems using a Scatter Search Metaheuristic},
booktitle = {Colloque sur l'Optimisation et les Syst\`{e}mes d'Information COSI'07},
publisher = {11--13 juin 2007 - Oran Alg\'{e}rie},
month = {juin},
year = {2007},
note = {à paraître},
equipe = {INCA}
}
|
|
|
@inproceedings {Boughacietal07,
audience = {internationale},
author = {Dalila Boughaci and Habiba Drias and Belaid Benhamou},
title = {An ebXML-based Multiagent System for B2B eCommerce},
booktitle = {the E-Commerce Technologies Track of the 22nd ACM Symposium on Applied Computing},
pages = {659- 663},
publisher = {ACM Press},
address = {Seoul, Korea,},
month = {11- 15 mars},
year = {2007},
equipe = {INCA}
}
|
|
|
@inproceedings {BenhamouSb,
audience = {internationale},
author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Sa\"{i}di},
title = {Eliminating Local Symmetry in CSPs},
booktitle = {The International Symmetry Conference (ISC 2007)},
address = {Edinburgh, SCOTLAND},
month = {janvier},
year = {2007},
equipe = {INCA}
}
|
|
|
@inproceedings {ZDSBD07,
audience = {internationale},
author = {St\'{e}phane Zampelli and Yves Deville and Mohamed R\'{e}da Sa\"{i}di and Bela\"{i}d Benhamou and Pierre Dupont},
title = {Breaking Local Symmetries in Subgraph Pattern Matching},
booktitle = {The International Symmetry Conference (ISC 2007)},
address = {Edinburgh, SCOTLAND},
month = {janvier},
year = {2007},
equipe = {INCA}
}
|
|
|
@inproceedings {Boughacietal06,
audience = {nationale},
author = {Dalila Boughaci and Habiba Drias and Belaid Benhamou},
title = {Approches M\'{e}taheuristiques pour les probl\`{e}mes max-SAT difficiles},
booktitle = {7\`{e}me congr\`{e}s de la Soci\'{e}t\'{e} Fran\c{c}aise de Recherche Op\'{e}rationnelle et d'Aide \`{a} la D\'{e}cision "Roadef06"},
month = {6, 7, 8 F\'{e}vrier},
year = {2006},
note = {\`{a} LILLE},
equipe = {INCA}
}
|
|
|
@inproceedings {Boughacietal06a,
audience = {internationale},
author = {Dalila Boughaci and Belaid Benhamou and Habiba Drias},
title = {A Specific Genetic Algorithm for MAX-SAT problems},
booktitle = {META'06 workshop and school on Metaheuristics},
month = {2--3-4 Novembre},
year = {2006},
note = {Hamammat, Tunisie},
equipe = {INCA}
}
|
|
|
@inproceedings {ParisBenhamouSiegel06,
audience = {internationale},
author = {Lionel Paris and Bela\"{i}d Benhamou and Pierre Siegel},
title = {A Boolean encoding including SAT and n-ary CSPs},
booktitle = {Proceedings of The Twelfth International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2006)},
editor = {Springer},
series = {LNAI},
number = {4183},
pages = {33--44},
address = {Varna, Bulgaria},
month = {Septembre},
year = {2006},
equipe = {INCA}
}
|
|
|
@inproceedings {BenSaCP06,
audience = {internationale},
author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Sa\"{i}di},
title = {Reasoning by dominance in Not-Equals binary constraint networks},
booktitle = {Proceedings of the Twelfth International Conference on Principles and Practice of Constraint Programming (CP 2006 )},
editor = {Springer},
series = {LNCS},
volume = {4204},
pages = {670--674},
address = {Cit\'{e} des Congr\`{e}s - Nantes, France},
month = {septembre},
year = {2006},
equipe = {INCA}
}
|
|
|
@inproceedings {BenhamouParisSiegel06,
audience = {internationale},
author = {Bela\"{i}d Benhamou and Lionel Paris and Pierre Siegel},
title = {Dealing with SAT and CSPs in a single framework},
booktitle = {Proceedings of the The CP 2006 Workshop on the Integration of SAT and CP techniques},
pages = {65--79},
address = {Nantes, France},
month = {September 25},
year = {2006},
equipe = {INCA}
}
|
|
|
@inproceedings {BenhamouSa,
audience = {internationale},
author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Sa\"{i}di},
title = {Reasoning by dominance in Not-Equals binary constraint networks},
booktitle = {The CP 2006 Workshop on Symmetry and Constraint Satisfaction Problems (SymCon'06)},
pages = {9--16},
address = {Cit\'{e} des Congr\`{e}s - Nantes, France},
month = {septembre},
year = {2006},
equipe = {INCA}
}
|
|
|
@article {AudemardBenhamouHenocque06,
audience = {internationale},
author = {Gilles Audemard and Bela\"{i}d Benhamou and Laurent Henocque},
title = {Predicting and detecting Symmetry in FOL Finite Model search},
journal = {Journal of Automated Reasoning},
month = {juillet},
year = {2006},
note = {à paraître},
equipe = {INCA}
}
|
|
|
@inproceedings {BenSaJFPC06,
audience = {nationale},
author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Sa\"{i}di},
title = {Etude de la dominance dans les CSPs \`{a} contraintes de diff\'{e}rence},
booktitle = {Deuxi\`{e}mes Journ\'{e}es Francophones de Programmation par Contraintes (JFPC'2006)},
pages = {63--70},
month = {juin},
year = {2006},
equipe = {INCA}
}
|
|
|
@inproceedings {BenSaCOSI06,
audience = {internationale},
author = {Mohamed R\'{e}da Sa\"{i}di and Bela\"{i}d Benhamou},
title = {Dealing with symmetry in Not-Equals binary constraint networks: application to graph coloring},
booktitle = {Colloque sur l'Optimisation et les Syst\`{e}mes d'Information (COSI'06)},
address = {Alger, Alg\'{e}rie},
month = {juin},
year = {2006},
equipe = {INCA}
}
|
|
|
@article {BoughaciDriasBenhamou06,
audience = {internationale},
author = {Dalila Boughaci and Habiba Drias and Bela\"{i}d Benhamou},
title = {Two Hybrid Tabu Scatter Search Meta-heuristic for Solving MAX-SAT Problems},
journal = {Alexander Gelbukh, Raul Monroy (Eds.), a special issue on Advances in Artificial Intelligence Theory, Journal of Research on Computing Sciences (RCS), ISSN 1665 - 9899},
number = {16},
pages = {45 - 54},
year = {2005},
equipe = {INCA}
}
|
|
|
@inproceedings {BoughaciDriasBenhamou05,
audience = {internationale},
author = {Dalila Boughaci and Habiba Drias and Bela\"{i}d Benhamou},
title = {Two Hybrid Tabu Scatter Search Meta-heuristics for solving MAX-SAT Problems},
booktitle = {Fourth Mexican International Conference on Artificial Intelligence, MICAI-05, Poster},
organization = {Monterry, Nuevo Le\^{o}n, Mexico},
month = {novembre},
year = {2005},
equipe = {INCA}
}
|
|
|
@inproceedings {BoughaciDriasBenhamou05a,
audience = {internationale},
author = {Dalila Boughaci and Habiba Drias and Bela\"{i}d Benhamou},
title = {Combining a Unit Propagation with Genetic Algorithms to Solve max-SAT},
booktitle = {Workshop of Combination of Metaheuristic and Local Search with Constraint Programming (MLS+CP)},
organization = {University of Nantes, France.},
month = {novembre},
year = {2005},
equipe = {INCA}
}
|
|
|
@inproceedings {Benhamou05,
audience = {internationale},
author = {Dalila Boughaci and Habiba Drias and Bela\"{i}d Benhamou},
title = {A Scatter Search Variant to solve max-SAT Problems},
booktitle = {Workshop, Combination of Methaeuristic and Local Search with Constraint Programming (MLS+CP)},
organization = {University of Nantes, France.},
month = {novembre},
year = {2005},
equipe = {INCA}
}
|
|
|
@inproceedings {BenhamouSaidi05a,
audience = {internationale},
author = {Bela\"{i}d Benhamou and Mohamed R\'{e}da Sa\"{i}di},
title = {Some improvements in symmetry elimination in not-equals binary constraint networks},
booktitle = {Proceedings of the satelite workshop of CP 2005, Symmetry and Constraint Satisfaction Problems (SymCon'05)},
pages = {1--7},
address = {Sitges, Spain},
month = {October},
year = {2005},
equipe = {INCA}
}
|
|
|
@inproceedings {KhelfallahBenhamou05b,
audience = {internationale},
author = {M. Khelfallah and B. Benhamou},
title = {A local Fusion Method of Temporal Information},
booktitle = {Proc. of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'05)},
pages = {477- 488},
publisher = {Springer-Verlag},
address = {Barcelona, Spain},
month = {juillet},
year = {2005},
equipe = {INCA}
}
|
|
|
@inproceedings {KhelfallahBenhamou05,
audience = {nationale},
author = {M. Khelfallah and B. Benhamou},
title = {Fusion locale de contraintes temporelles avec priorit\'{e}},
booktitle = {7\`{e}me Rencontres Jeunes Chercheurs en Intelligence Artificielle, RJCIA'05},
editor = {Emmanuel Gu\'{e}r\'{e}},
organization = {Plate-forme AFIA},
pages = {211--224},
address = {Nice, France},
month = {1--3 juin},
year = {2005},
equipe = {INCA}
}
|
|
|
@inproceedings {KhelfallahBenhamou05a,
audience = {internationale},
author = {M. Khelfallah and B. Benhamou},
title = {A local Method Prioritized Fusion of Temporal Information},
booktitle = {Proc. of the 12th International Symposium on Temporal Representation and Reasoning, TIME'05},
editor = {Jan Chomiki and David Toman},
pages = {35--43},
publisher = {IEEE Computer Society},
address = {Burlington, Vermont, USA},
month = {23--25 june},
year = {2005},
equipe = {INCA}
}
|
|
|
@inproceedings {SaidiBenhamou05,
audience = {nationale},
author = {Mohamed R\'{e}da Sa\"{i}di and Bela\"{i}d Benhamou},
title = {Sym\'{e}tries dans les r\'{e}seaux de contraintes de diff\'{e}rence},
booktitle = {7\`{e}me Rencontres Jeunes Chercheurs en Intelligence Artificielle, RJCIA'05},
editor = {Emmanuel Gu\'{e}r\'{e}},
organization = {Plate-Forme AFIA},
pages = {239--252},
address = {Nice, France},
month = {juin 1--3},
year = {2005},
equipe = {INCA}
}
|
|
|
@inproceedings {ParisBenhamouSiegel05a,
audience = {nationale},
author = {Lionel Paris and Bela\"{i}d Benhamou and Pierre Siegel},
title = {Un cadre th\'{e}orique et pratique commun aux formalismes SAT et CSP n-aires},
booktitle = {7e Rencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA'05)},
pages = {169--182},
address = {Nice, France},
month = {juin 1--3},
year = {2005},
equipe = {INCA}
}
|
|
|
@inproceedings {ParisBenhamouSiegel05,
audience = {internationale},
author = {Lionel Paris and Bela\"{i}d Benhamou and Pierre Siegel},
title = {A Cardinality General Normal Form (CGNF) in propositional logic including n-ary CSPs.},
booktitle = {Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming (CSCLP'05)},
pages = {89--100},
address = {Uppsala, Sweden},
month = {June 20--22},
year = {2005},
equipe = {INCA}
}
|
|
|
@article {Benhamou04,
audience = {internationale},
author = {Bela\"{i}d Benhamou},
title = {Satisfiability and matchings in bipartite graphs: relationship and tractability},
journal = {The journal of Spanish Royal Academy of sciences (RACSAM), a special issu on Symbolic Computation and Artificial Intelligence},
volume = {98},
number = {(1--2)},
pages = {55 - 63},
year = {2004},
equipe = {INCA}
}
|
|
|
@inproceedings {BoughaciDriasBenhamou04,
audience = {internationale},
author = {Dalila Boughaci and Habiba Drias and Bela\"{i}d Benhamou},
title = {Solving MAX-SAT problems using a Memetic Evolutionary Meta-Heuristic},
booktitle = {Proceedings of the IEEE International conference on Cybernetics and Intelligent Systems, CIS-2004},
pages = {480 - 484},
month = {December},
year = {2004},
equipe = {INCA}
}
|
|
|
@inproceedings {KhelfallahBenhamouAISC04,
audience = {internationale},
author = {M. Khelfallah and B. Benhamou},
title = {Two Revision Methods Based on Constraints: Application to a Flooding Problem},
booktitle = {Proc of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC'04},
editor = {B. Buchberger and J. Campbell},
volume = {LNAI 3249},
pages = {265--270},
publisher = {Springer-Verlag},
address = {Linz, Austria},
month = {September 22--24},
year = {2004},
equipe = {INCA}
}
|
|
|
@inproceedings {Benhamou04a,
audience = {internationale},
author = {Belaid Benhamou},
title = {Symmetry in Not-equals Binary Constraint Networks},
booktitle = {Proceedings of the satelite workshop of CP 2004, Symmetry in Constraints (SymCon'04)},
pages = {2--8},
address = {Toronto},
month = {september},
year = {2004},
equipe = {INCA}
}
|
|
|
@inproceedings {KhelfallahBenhamou04,
audience = {internationale},
author = {Khelfallah M. and Benhamou B.},
title = {Geographic information revision based on constraints},
booktitle = {16th European Conference on Artificial Intelligence ECAI'04},
pages = {828--832},
publisher = {IOS Press},
address = {Valencia, Spain},
month = {August 23--27},
year = {2004},
equipe = {INCA}
}
|
|
|
@techreport {AudemardBenhamouHenocque04,
author = {Gilles Audemard and Bela\"{i}d Benhamou and Laurent Henocque},
title = {Predecting and detecting symmetry in Finite Model Search},
institution = {LSIS},
number = {LSIS.RR.2004.003},
month = {Juin},
year = {2004},
note = {(Accepted for publication in JAR)},
equipe = {INCA}
}
|
|
|
@techreport {Benhamou04b,
author = {Bela\"{i}d Benhamou},
title = {Symmetry in Alldifferent constraint networks},
institution = {LSIS},
number = {LSIS.RR.2004.002},
month = {mai},
year = {2004},
equipe = {INCA}
}
|
|
|
@techreport {KhalfellahBenhamou04,
author = {Mahat Khalfellah and Bela\"{i}d Benhamou},
title = {Geographic information revision based on constraints},
institution = {LSIS},
number = {LSIS.RR.2004.001},
month = {avril},
year = {2004},
equipe = {INCA}
}
|
|
|
@inproceedings {KhelfallahBenhamouJeansoulinRFIA04,
audience = {nationale},
author = {M. Khelfallah, B. Benhamou, R. Jeansoulin},
title = {R\'{e}vision de contraintes temporelles : application au probl\`{e}me de l'inondation},
booktitle = {14\`{e}me Congr\`{e}s Francophone de Reconnaissance des Formes et Intelligence Artificielle, RFIA},
organization = {AFRIF-AFIA},
pages = {295--303},
address = {Toulouse, France},
month = {Janvier, 28--30,},
year = {2004},
equipe = {INCA}
}
|
|
|
@conference {KhelfallahBenhamouJeansoulinJNMR03,
author = {M. Khelfallah, B. Benhamou, R. Jeansoulin},
title = {R\'{e}vision d'informations g\'{e}ographiques \`{a} base de contraintes},
booktitle = {Journ\'{e}es Nationales sur les Mod\`{e}les de Raisonnement, JNMR'03},
address = {Paris, France},
month = {Novembre, 27--28,},
year = {2003},
equipe = {INCA}
}
|
|
|
@inproceedings {AudemardBenhamou02,
audience = {internationale},
author = {G. Audemard and B. Benhamou},
title = {Reasoning by symmetry and function ordering in Finite model generation},
booktitle = {Proceedings of the 18th International Conference on Automated Deduction (CADE18)},
month = {juillet},
year = {2002},
equipe = {INCA}
}
|
|
|
@inproceedings {AudemardBenhamou01a,
audience = {nationale},
author = {G. Audemard and B. Benhamou},
title = {Etude des Sym\'{e}tries dans les mod\`{e}les finis},
booktitle = {Journ\'{e}es Francophones de Programmation en Logique et Programmation par Contraintes, JFPLC},
pages = {109-122},
year = {2001},
equipe = {INCA}
}
|
|
|
@mastersthesis {Benhamou01,
author = {B. Benhamou},
title = {Contribution \`{a} la r\'{e}solution de contraintes: contraintes bool\'{e}ennes et le probl\`{e}me SAT, satisfaction de contraintes au sens CSP et CSP temporel, et g\'{e}n\'{e}ration de mod\`{e}les finis en logique du premier ordre},
school = {Universit\'{e} de Provence},
year = {2001},
equipe = {INCA}
}
|
|
|
@inproceedings {AudemardBenhamou01,
audience = {internationale},
author = {G. Audemard and B. Benhamou},
title = {Symmetry in finite model of first order theory},
booktitle = {Symmetry in Constraint - CP01},
month = {d\'{e}cembre},
year = {2001},
equipe = {INCA}
}
|
|
|
@inproceedings {AudemarBenhamouHenocque00,
audience = {internationale},
author = {G. Audemard and B. Benhamou and L. Henocque},
title = {Two techniques to improve Finite Model Search},
booktitle = {17th International Conference on Automated Deduction CADE17},
pages = {302--308},
address = {Pittsburgh},
year = {2000},
equipe = {INCA}
}
|
|
|
@inproceedings {AudemarBenhamouSiegel00,
audience = {internationale},
author = {G. Audemard and B. Benhamou and P. Siegel},
title = {AVAL: an enumerative Method for SAT},
booktitle = {Proceedings of the conference on Computational Logic (CL00)},
pages = {373--383},
address = {Londres},
year = {2000},
equipe = {INCA}
}
|
|
|
@techreport {Benhamou00,
author = {Bela\"{i}d Benhamou},
title = {Symmetry and Dominance in CSPs},
institution = {LIM},
year = {2000},
equipe = {INCA}
}
|
|
|
@article {BenhamouHenocque99,
audience = {internationale},
author = {B. Benhamou and L. Henocque},
title = {A Hybrid Method for finite Model Search in Equational theories},
journal = {Fundamenta Informaticae},
number = {39},
pages = {21-38},
year = {1999},
equipe = {INCA}
}
|
|
|
@inproceedings {AudemarBenhamouSiegel99,
audience = {nationale},
author = {G. Audemard and B. Benhamou and P. Siegel},
title = {La m\'ethode d'avalanche AVAL : une m\'ethode \'enum\'erative pour SAT},
booktitle = {Journ\'ee nationale des probl\`emes NP Complets, JNPC 99},
pages = {17--25},
address = {Lyon},
year = {1999},
equipe = {INCA}
}
|
|
|
@techreport {AudBenHen99,
author = {G. Audemard and B. Benhamou and L. Henocque},
title = {Two techniques to improve Finite Model Search.},
type = {Rapport de recherche},
institution = {Laboratoire d'Informatique de Marseille},
number = {339},
year = {1999},
equipe = {INCA}
}
|
|
|
@techreport {AudemardBenhamouSiegel99,
author = {Gilles Audemard and Bela\"{i}d Benhamou and Pierre Siegel},
title = {La m\'{e}thode d'avalanche AVAL: une m\'{e}thode \'{e}num\'{e}rative pour SAT},
institution = {LIM},
number = {309},
year = {1999},
equipe = {INCA}
}
|
|
|
@inproceedings {BenhamouHenocque98a,
audience = {internationale},
author = {B. Benhamou and L. Henocque},
title = {Finite model search for equational theories},
booktitle = {4th International Conference Artificial Intelligence and Symbolic Computation, AISC'98},
series = {LNCS},
pages = {84--93},
publisher = {Springer Verlag},
address = {Plattsburgh, USA},
year = {1998},
equipe = {INCA}
}
|
|
|
@inproceedings {BenhamouIsli98,
audience = {internationale},
author = {B. Benhamou and A. Isli},
title = {Study of symmetry in Qualitative Temporal Interval Networks},
booktitle = {8th International Conference on Artificial Intelligence : Methodology, Systems, Applications, AIMSA'98},
pages = {88--101},
publisher = {Springer Verlag},
address = {Sozopol, Bulgaria},
year = {1998},
equipe = {INCA}
}
|
|
|
@inproceedings {BenhamouHenocque98,
audience = {nationale},
author = {B. Benhamou and L. Henocque},
title = {Vers un syst\`eme de recherche de mod\`eles finis pour les th\'eories \'equationnelles},
booktitle = {4\`emes journ\'ees Nationales R\'esolution Pratique de Probl\`emes NP-complets, JNPC'98},
pages = {47--54},
address = {Nantes},
year = {1998},
equipe = {INCA}
}
|
|
|
@conference {BenhamouHenocque98b,
author = {B. Benhamou and L. Henocque},
title = {A Finite model search for equational theories and Applications},
booktitle = {2th International Theorem Workshop},
address = {Linz, Austria},
year = {1998},
equipe = {INCA}
}
|
|
|
@techreport {BenhamouHenocque98c,
author = {B. Benhamou and L. Henocque},
title = {Study of a finite model search system for equational theories and applications},
type = {Rapport de Recherche},
institution = {LIM},
year = {1998},
equipe = {INCA}
}
|
|
|
@inproceedings {Benhamou98,
audience = {internationale},
author = {Bela\"{i}d Benhamou and Amar Isli},
title = {Study of Symmetry in Qualitative Temporal Interval Networks},
booktitle = {Proccedings of ECAI'98 Workshop on Spatial and Temporal Interval networks},
pages = {41--50},
address = {UK},
year = {1998},
equipe = {INCA}
}
|
|
|
|
|
|
|
| Recherche |
|
|
|
|
| Enseignement |
|
|
|
|
| Liens |
|
|
|
|
|
