Sciweavers

5269 search results - page 8 / 1054
» order 2007
Sort
View
37
Voted
IJCAI
2003
15 years 1 months ago
A Structure-Based Variable Ordering Heuristic for SAT
Jinbo Huang, Adnan Darwiche
89
Voted
DAGSTUHL
1994
15 years 1 months ago
A Non-Blocking Lightweight Implementation of Causal Order Message Delivery
Friedemann Mattern, Stefan Fünfrocken