VIAF

Virtual International Authority File

Search

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

VIAF ID: 189512071 (Personal)

Permalink: //viaf.org/viaf/189512071

ISNI: 0000  0003  5653  8283 

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
Etude des symétries et de la cardinalité en calcul propositionnel application aux algorithmes syntaxiques 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 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 (1)

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)