Computer algorithms - Congresses.
Overview
| Works: | 8 works in 8 publications in 8 languages | |
|---|---|---|
Titles
Theory and applications of satisfiability testing :6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers /
by:
(Language materials, printed)
Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms.
by:
(Electronic resources)
Proceedings of the sixth Workshop on Algorithm Engineering and Experiments and the first Workshop on Analytic Algorithmics and Combinatorics /
by:
(Electronic resources)
Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms.
by:
(Electronic resources)
Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms.
by:
(Electronic resources)
Subjects