The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Belaid Benhamou: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Belaid Benhamou, Amar Isli
    Study of Symmetry in Qualitative Temporal Interval Networks. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:88-101 [Conf]
  2. Lionel Paris, Belaid Benhamou, Pierre Siegel
    A Boolean Encoding Including SAT and n-ary CSPs. [Citation Graph (0, 0)][DBLP]
    AIMSA, 2006, pp:33-44 [Conf]
  3. Belaid Benhamou, Laurent Henocque
    Finite Model Search for Equational Theories (FMSET). [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:84-93 [Conf]
  4. Mahat Khelfallah, Belaid Benhamou
    Two Revision Methods Based on Constraints: Application to a Flooding Problem. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:265-270 [Conf]
  5. Gilles Audemard, Belaid Benhamou
    Reasoning by Symmetry and Function Ordering in Finite Model Generation. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:226-240 [Conf]
  6. Gilles Audemard, Belaid Benhamou, Laurent Henocque
    Two Techniques to Improve Finite Model Search. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:302-308 [Conf]
  7. Belaid Benhamou, Lakhdar Sais
    Theoretical Study of Symmetries in Propositional Calculus and Applications. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:281-294 [Conf]
  8. Gilles Audemard, Belaid Benhamou, Pierre Siegel
    AVAL: An Enumerative Method for SAT. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:373-383 [Conf]
  9. Belaid Benhamou, Mohamed Réda Saïdi
    Reasoning by Dominance in Not-Equals Binary Constraint Networks. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:670-674 [Conf]
  10. Dalila Boughaci, Habiba Drias, Ahmed Bendib, Youcef Bouznit, Belaid Benhamou
    Distributed Intrusion Detection Framework based on Autonomous and Mobile Agents. [Citation Graph (0, 0)][DBLP]
    DepCoS-RELCOMEX, 2006, pp:248-255 [Conf]
  11. Dalila Boughaci, Habiba Drias, Brahim Oubeka, Abdelkader Aissioui, Belaid Benhamou
    A Distributed Firewall using Autonomous Agents. [Citation Graph (0, 0)][DBLP]
    DepCoS-RELCOMEX, 2006, pp:256-263 [Conf]
  12. Mahat Khelfallah, Belaid Benhamou
    Geographic Information Revision Based on Constraints. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:828-832 [Conf]
  13. Mahat Khelfallah, Belaid Benhamou
    A Local Fusion Method of Temporal Information. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2005, pp:477-488 [Conf]
  14. Gilles Audemard, Belaid Benhamou
    Etude des symétries dans les modèles finis. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2001, pp:109-122 [Conf]
  15. Belaid Benhamou, Lakhdar Sais, Pierre Siegel
    Two Proof Procedures for a Cardinality Based Language in Propositional Calculus. [Citation Graph (0, 0)][DBLP]
    STACS, 1994, pp:71-82 [Conf]
  16. Mahat Khelfallah, Belaid Benhamou
    A Local Method for Prioritized Fusion of Temporal Information. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:35-43 [Conf]
  17. Belaid Benhamou, Laurent Henocque
    A Hybrid Method for Finite Model Search in Equational Theories. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:1-2, pp:21-38 [Journal]
  18. Belaid Benhamou, Lakhdar Sais
    Tractability Through Symmetries in Propositional Calculus. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1994, v:12, n:1, pp:89-102 [Journal]
  19. Gilles Audemard, Belaid Benhamou, Laurent Henocque
    Predicting and Detecting Symmetries in FOL Finite Model Search. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:36, n:3, pp:177-212 [Journal]
  20. Belaid Benhamou, Mohamed Réda Saïdi
    Local Symmetry Breaking During Search in CSPs. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:195-209 [Conf]

  21. A New Incomplete Method for CSP Inconsistency Checking. [Citation Graph (, )][DBLP]


  22. Stochastic Local Search for the Optimal Winner Determination Problem in Combinatorial Auctions. [Citation Graph (, )][DBLP]


  23. Consistent Neighborhood for the Satisfiability Problem. [Citation Graph (, )][DBLP]


  24. Local Search-based Method for Restoring Disjunctive Temporal Problem Consistency. [Citation Graph (, )][DBLP]


  25. Detecting and Eliminating Local Symmetry During Search in CSPs. [Citation Graph (, )][DBLP]


  26. IGA: an Improved Genetic Algorithm for MAX-SAT Problems. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.306secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002