Sciweavers

24132 search results - page 266 / 4827
» and 2009
Sort
View
SAT
2009
Springer
90views Hardware» more  SAT 2009»
16 years 1 months ago
Solving (Weighted) Partial MaxSAT through Satisfiability Testing
Carlos Ansótegui, Maria Luisa Bonet, Jordi ...
SCALESPACE
2009
Springer
16 years 1 months ago
Tubular Anisotropy Segmentation
Fethallah Benmansour, Laurent D. Cohen