VIAF

Virtual International Authority File

Search

Benhamou, Belaïd 1963- Sudoc [ABES], France ISNI

VIAF ID: 189512071 (Personal)

Permalink: http://viaf.org/viaf/189512071

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close SectionWorks

Title Sources
Approches pour les problèmes SAT et CSP : ensembles strong backdoor, voisinage consistant et forme normale généralisée Sudoc [ABES], France
Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings Sudoc [ABES], France
Logiques IFO-QCL et gestion des informations partielles en théorie des possibilités : application à la corrélation d'alertes Sudoc [ABES], France
Recherche locale et méthodes évolutives pour les problèmes MAX-SAT et PDG Sudoc [ABES], France
Révision et fusion d'information à base de contraintes linéaires : application à l'information géogaphique et temporelle Sudoc [ABES], France
SAT problem resolution and finite model generation in first order theories. Sudoc [ABES], France
Study of symetries and cardinality in propositional calculus : application to the syntactical algorithmes. Sudoc [ABES], France
Study of symmetry and dominance in constraint satisfaction problems. Sudoc [ABES], France
Symétries locales et globales en logique propositionnelle et leurs extensions aux logiques non monotones Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (2)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (1)

Open Section Close Section About

Open Section Close Section History of VIAF ID:189512071 (2)