Sciweavers

14379 search results - page 80 / 2876
» is 2000
Sort
View
65
Voted
ASIAN
2000
Springer
99views Algorithms» more  ASIAN 2000»
15 years 5 months ago
On Simulation-Checking with Sequential Systems
Antonín Kucera
94
Voted
COCO
2000
Springer
100views Algorithms» more  COCO 2000»
15 years 5 months ago
An Application of Matroid Theory to the SAT Problem
Oliver Kullmann
96
Voted
DEXA
2000
Springer
80views Database» more  DEXA 2000»
15 years 5 months ago
A Foolish Consistency: Technical Challenges in Consistency Management
Anthony Finkelstein