Search Sciweavers | Sciweavers

14704 search results - page 84 / 2941

» computing 2007

103

click to vote

LPAR
2007
Springer

114views Automated Reasoning» more LPAR 2007»

One-Pass Tableaux for Computation Tree Logic

15 years 10 months ago

Download twb.rsise.anu.edu.au

Pietro Abate, Rajeev Goré, Florian Widmann

claim paper

Read More »

click to vote

OR
2007
Springer

143views Operations Research» more OR 2007»

Optimizing in Graphs with Expensive Computation of Edge Weights

15 years 10 months ago

Download biocomputing.mi.fu-berlin.de

Frank Noé, Marcus Oswald, Gerhard Reinelt

claim paper

Read More »

106

click to vote

SAS
2007
Springer

80views Formal Methods» more SAS 2007»

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

15 years 10 months ago

Download www.lix.polytechnique.fr

Eric Goubault, Sylvie Putot

claim paper

Read More »

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

15 years 10 months ago

Download www.csi.ucd.ie

Alessandro Cimatti, Alberto Griggio, Roberto Sebas...

claim paper

Read More »

101

click to vote

TARK
2007
Springer

79views Automated Reasoning» more TARK 2007»

Games, geometry, and the computational complexity of finding equilibria

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers