Sciweavers

15792 search results - page 58 / 3159
» Computational Abstraction Steps
Sort
View
ISSAC
2009
Springer
137views Mathematics» more  ISSAC 2009»
15 years 10 months ago
Computing with abstract matrix structures
Alan P. Sexton, Volker Sorge, Stephen M. Watt
187
Voted
SARA
2009
Springer
15 years 10 months ago
Abstraction-Based Heuristics with True Distance Computations
Ariel Felner, Nathan R. Sturtevant
93
Voted
ICLP
2007
Springer
15 years 9 months ago
Logic Programs with Abstract Constraint Atoms: The Role of Computations
Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...