 | 2003 |
|---|
| 9 |       | 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 | | Gunnar Andersson,
Per Bjesse,
Byron Cook,
Ziyad Hanna:
A proof engine approach to solving combinational design automation problems.
DAC 2002: 725-730 |
| 7 | | 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 | | 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 | | Gunnar Andersson:
An Approximation Algorithm for Max p-Section.
STACS 1999: 237-247 |
| 1998 |
|---|
| 3 | | Gunnar Andersson,
Lars Engebretsen:
Sampling Methods Applied to Dense Instances of Non-Boolean Optimization Problems.
RANDOM 1998: 357-368 |
| 2 | | 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 | | 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) |
