dblp.uni-trier.dewww.uni-trier.de

Gunnar Andersson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
9EEGunnar Andersson, Per Bjesse, Byron Cook, Ziyad Hanna: Design automation with mixtures of proof strategies for propositional logic. IEEE Trans. on CAD of Integrated Circuits and Systems 22(8): 1042-1048 (2003)
2002
8EEGunnar Andersson, Per Bjesse, Byron Cook, Ziyad Hanna: A proof engine approach to solving combinational design automation problems. DAC 2002: 725-730
7EEGunnar Andersson, Lars Engebretsen: Property testers for dense constraint satisfaction programs on finite domains. Random Struct. Algorithms 21(1): 14-32 (2002)
2001
6 Gunnar Andersson, Lars Engebretsen, Johan Håstad: A New Way of Using Semidefinite Programming with Applications to Linear Equations mod p. J. Algorithms 39(2): 162-204 (2001)
1999
5EEGunnar Andersson, Lars Engebretsen, Johan Håstad: A New Way to Use Semidefinite Programming with Applications to Linear Equations mod p. SODA 1999: 41-50
4EEGunnar Andersson: An Approximation Algorithm for Max p-Section. STACS 1999: 237-247
1998
3EEGunnar Andersson, Lars Engebretsen: Sampling Methods Applied to Dense Instances of Non-Boolean Optimization Problems. RANDOM 1998: 357-368
2EEGunnar Andersson, Lars Engebretsen: Better Approximation Algorithms for SET SPLITTING and NOT-ALL-EQUAL SAT. Inf. Process. Lett. 65(6): 305-311 (1998)
1997
1EEGunnar Andersson, Lars Engebretsen: Better Approximation Algorithms and Tighter Analysis for Set Splitting and Not-All-Equal Sat Electronic Colloquium on Computational Complexity (ECCC) 4(22): (1997)

Coauthor Index

1Per Bjesse [8] [9]
2Byron Cook [8] [9]
3Lars Engebretsen [1] [2] [3] [5] [6] [7]
4Ziyad Hanna [8] [9]
5Johan Håstad [5] [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)