Great strides have been made in recent years in the theory and practice of propositional satisfiability testing. On the theoretical side, a wide range of mathematical approaches -ranging from classical combinatorial analysis to arguments based on statistical physicshave increased our understanding o
โฆ LIBER โฆ
Preface: Volume 9
โ Scribed by Faron Moller
- Publisher
- Elsevier Science
- Year
- 1997
- Tongue
- English
- Weight
- 34 KB
- Volume
- 9
- Category
- Article
- ISSN
- 1571-0661
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Preface: Volume 9
โ
Henry Kautz; Bart Selman
๐
Article
๐
2001
๐
Elsevier Science
๐
English
โ 26 KB
Preface: Volume 7
โ
Jayme Szwarcfiter
๐
Article
๐
2001
๐
Elsevier Science
๐
English
โ 28 KB
Preface: Volume 10
โ
Jaroslav Nesetril; Marc Noy; Oriol Serra
๐
Article
๐
2001
๐
Elsevier Science
๐
English
โ 24 KB
Preface: Volume 2
๐
Article
๐
1999
๐
Elsevier Science
๐
English
โ 25 KB
Preface: Volume 6
โ
Daniel Augot; Claude Carlet
๐
Article
๐
2001
๐
Elsevier Science
๐
English
โ 29 KB
Our aim was to bring together researchers coming from coding theory and cryptography. More than 140 participants (77 academics, 27 studients, 19 researchers from industry . . .) coming from 31 countries attended the workshop -France (54), United States (13), Russia (13), Sweden (8), Germany (6), Nor
Preface: Volume 8
โ
Hajo Broersma; Ulrich Faigle; Johann Hurink; Stefan Pickl
๐
Article
๐
2001
๐
Elsevier Science
๐
English
โ 34 KB