2003 |
9 | EE | Gunnar 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 |
8 | EE | Gunnar Andersson,
Per Bjesse,
Byron Cook,
Ziyad Hanna:
A proof engine approach to solving combinational design automation problems.
DAC 2002: 725-730 |
7 | EE | Gunnar 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 |
5 | EE | Gunnar Andersson,
Lars Engebretsen,
Johan Håstad:
A New Way to Use Semidefinite Programming with Applications to Linear Equations mod p.
SODA 1999: 41-50 |
4 | EE | Gunnar Andersson:
An Approximation Algorithm for Max p-Section.
STACS 1999: 237-247 |
1998 |
3 | EE | Gunnar Andersson,
Lars Engebretsen:
Sampling Methods Applied to Dense Instances of Non-Boolean Optimization Problems.
RANDOM 1998: 357-368 |
2 | EE | Gunnar Andersson,
Lars Engebretsen:
Better Approximation Algorithms for SET SPLITTING and NOT-ALL-EQUAL SAT.
Inf. Process. Lett. 65(6): 305-311 (1998) |
1997 |
1 | EE | Gunnar 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) |