En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Gu, Jun 1 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Satisfiability problem :
theory and applications in celebration of 25 years of research on ... (1971-1996) held at Rutgers University DIMACS workshop#March 11-13 Dingzhu, Du ; Gu, Jun ; Pardalos, Panos M. | American Mathematical Society 1997

Congrès

- 723 p.
Call n° : 00019926
algorithme de calcul # calcul des propositions # classe de complexité # intelligence artificielle # logique # mathématique de l'économie # optimisation combinatoire # problème de satisfaction # programmation mathématique # réécriture de système # théorie de la décision # théorie de preuve # économie mathématique

03B05 ; 68Q42 ; 68T15 ; 90A05 ; 90C27

Location : Disparu

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Authors

MSC Codes

Language