Search Sciweavers | Sciweavers

14704 search results - page 84 / 2941

» computer 2007

120

click to vote

LPAR
2007
Springer

114views Automated Reasoning» more LPAR 2007»

One-Pass Tableaux for Computation Tree Logic

16 years 12 days ago

Download twb.rsise.anu.edu.au

Pietro Abate, Rajeev Goré, Florian Widmann

claim paper

Read More »

119

click to vote

OR
2007
Springer

143views Operations Research» more OR 2007»

Optimizing in Graphs with Expensive Computation of Edge Weights

16 years 12 days ago

Download biocomputing.mi.fu-berlin.de

Frank Noé, Marcus Oswald, Gerhard Reinelt

claim paper

Read More »

122

click to vote

SAS
2007
Springer

80views Formal Methods» more SAS 2007»

Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic

16 years 11 days ago

Download www.lix.polytechnique.fr

Eric Goubault, Sylvie Putot

claim paper

Read More »

101

click to vote

SAT
2007
Springer

68views Hardware» more SAT 2007»

A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories

16 years 11 days ago

Download www.csi.ucd.ie

Alessandro Cimatti, Alberto Griggio, Roberto Sebas...

claim paper

Read More »

126

click to vote

TARK
2007
Springer

79views Automated Reasoning» more TARK 2007»

Games, geometry, and the computational complexity of finding equilibria

16 years 11 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers