Sciweavers

103

CORR
2010
Springer

64views Education» more CORR 2010»

Exponential Inapproximability of Selecting a Maximum Volume Sub-matrix

15 years 3 months ago

Exponential Inapproximability of Selecting a Maximum Volume Sub-matrix

Download www.cs.rpi.edu

Given a matrix A Rm

Ali Çivril, Malik Magdon-Ismail

claim paper

Read More »

145

Voted

VSTTE
2005
Springer

100views Software Engineering» more VSTTE 2005»

Decision Procedures for the Grand Challenge

15 years 9 months ago

Decision Procedures for the Grand Challenge

Download vstte.ethz.ch

Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...

Daniel Kroening

claim paper

Read More »