Search Sciweavers | Sciweavers

9176 search results - page 30 / 1836

» algorithms 2010

click to vote

JACM
2010

55views more JACM 2010»

Newtonian program analysis

13 years 4 months ago

Download www7.in.tum.de

Javier Esparza, Stefan Kiefer, Michael Luttenberge...

claim paper

Read More »

click to vote

JACM
2010

51views more JACM 2010»

XML with incomplete information

13 years 4 months ago

Download www.lsv.ens-cachan.fr

Pablo Barceló, Leonid Libkin, Antonella Pog...

claim paper

Read More »

click to vote

JAIR
2010

87views more JAIR 2010»

Best-First Heuristic Search for Multicore Machines

13 years 4 months ago

Download www.jair.org

Ethan Burns, Sofia Lemons, Wheeler Ruml, Rong Zhou

claim paper

Read More »

click to vote

AICOM
2010

64views more AICOM 2010»

Practical algorithms for unsatisfiability proof and core generation in SAT solvers

13 years 10 months ago

Download www.lsi.upc.edu

Roberto Javier Asín Achá, Robert Nie...

claim paper

Read More »

click to vote

ARTMED
2010

102views more ARTMED 2010»

A hybrid tabu search algorithm for automatically assigning patients to beds

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers