Search the dblp DataBase

Publications of Author

1. 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:725-730 [Conf]
   
2. Gunnar Andersson, Lars Engebretsen
   Sampling Methods Applied to Dense Instances of Non-Boolean Optimization Problems. [Citation Graph (0, 0)][DBLP]
   RANDOM, 1998, pp:357-368 [Conf]
   
3. 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:41-50 [Conf]
   
4. Gunnar Andersson
   An Approximation Algorithm for Max p-Section. [Citation Graph (0, 0)][DBLP]
   STACS, 1999, pp:237-247 [Conf]
   
5. Gunnar Andersson, Lars Engebretsen
   Better Approximation Algorithms for SET SPLITTING and NOT-ALL-EQUAL SAT. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1998, v:65, n:6, pp:305-311 [Journal]
   
6. 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:162-204 [Journal]
   
7. 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:14-32 [Journal]
   
8. 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:1042-1048 [Journal]