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 (Editor) ; Gu, Jun (Editor) ; Pardalos, Panos M. (Editor)
1997
723 p.
978-0-8218-0479-7
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
Publisher City : Providence ; R.I.
Publisher country : États-Unis
Language : English
EAN13 : 9780821804797
ISBN : 0-8218-0479-0
Collation : Bibliogr. ; fig.#26 cm#rel.
Series : DIMACS series in discrete mathematics and theoretical computer science
Nb in series : 0035
Location : Disparu
Event Year : 1996
City of congres : Piscataway
Country of congres : États-Unis
Conference type : Congrès
Availability : Disparu
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00019926 | D2006 Disparu 2005 D2004 D 2003 [available] |