Sciweavers

9176 search results - page 30 / 1836
» algorithms 2010
Sort
View
JACM
2010
55views more  JACM 2010»
14 years 9 months ago
Newtonian program analysis
Javier Esparza, Stefan Kiefer, Michael Luttenberge...
83
Voted
JACM
2010
51views more  JACM 2010»
14 years 9 months ago
XML with incomplete information
Pablo Barceló, Leonid Libkin, Antonella Pog...
JAIR
2010
87views more  JAIR 2010»
14 years 9 months ago
Best-First Heuristic Search for Multicore Machines
Ethan Burns, Sofia Lemons, Wheeler Ruml, Rong Zhou
AICOM
2010
64views more  AICOM 2010»
15 years 2 months ago
Practical algorithms for unsatisfiability proof and core generation in SAT solvers
Roberto Javier Asín Achá, Robert Nie...
ARTMED
2010
102views more  ARTMED 2010»
15 years 2 months ago
A hybrid tabu search algorithm for automatically assigning patients to beds
Peter Demeester, Wouter Souffriau, Patrick De Caus...