
Search the dblp DataBase
Gunnar Andersson:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Gunnar Andersson, Per Bjesse, Byron Cook, Ziyad Hanna
A proof engine approach to solving combinational design automation problems. [Citation Graph (0, 0)][DBLP] DAC, 2002, pp:725730 [Conf]
 Gunnar Andersson, Lars Engebretsen
Sampling Methods Applied to Dense Instances of NonBoolean Optimization Problems. [Citation Graph (0, 0)][DBLP] RANDOM, 1998, pp:357368 [Conf]
 Gunnar Andersson, Lars Engebretsen, Johan Håstad
A New Way to Use Semidefinite Programming with Applications to Linear Equations mod p. [Citation Graph (0, 0)][DBLP] SODA, 1999, pp:4150 [Conf]
 Gunnar Andersson
An Approximation Algorithm for Max pSection. [Citation Graph (0, 0)][DBLP] STACS, 1999, pp:237247 [Conf]
 Gunnar Andersson, Lars Engebretsen
Better Approximation Algorithms for SET SPLITTING and NOTALLEQUAL SAT. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1998, v:65, n:6, pp:305311 [Journal]
 Gunnar Andersson, Lars Engebretsen, Johan Håstad
A New Way of Using Semidefinite Programming with Applications to Linear Equations mod p. [Citation Graph (0, 0)][DBLP] J. Algorithms, 2001, v:39, n:2, pp:162204 [Journal]
 Gunnar Andersson, Lars Engebretsen
Property testers for dense constraint satisfaction programs on finite domains. [Citation Graph (0, 0)][DBLP] Random Struct. Algorithms, 2002, v:21, n:1, pp:1432 [Journal]
 Gunnar Andersson, Per Bjesse, Byron Cook, Ziyad Hanna
Design automation with mixtures of proof strategies for propositional logic. [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 2003, v:22, n:8, pp:10421048 [Journal]
Search in 0.002secs, Finished in 0.003secs
