The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Linda van Norden: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Linda van Norden, Hans van Maaren
    A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:775-776 [Conf]
  2. Hans van Maaren, Linda van Norden
    Hidden Threshold Phenomena for Fixed-Density SAT-formulae. [Citation Graph (0, 0)][DBLP]
    SAT, 2003, pp:135-149 [Conf]
  3. Hans van Maaren, Linda van Norden
    Sums of Squares, Satisfiability and Maximum Satisfiability. [Citation Graph (0, 0)][DBLP]
    SAT, 2005, pp:294-308 [Conf]
  4. Hans van Maaren, Linda van Norden
    Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2005, v:44, n:1-2, pp:157-177 [Journal]
  5. Han Hoogeveen, Linda van Norden, Steef L. van de Velde
    Lower bounds for minimizing total completion time in a two-machine flow shop. [Citation Graph (0, 0)][DBLP]
    J. Scheduling, 2006, v:9, n:6, pp:559-568 [Journal]
  6. Linda van Norden, Steef L. van de Velde
    Multi-product lot-sizing with a transportation capacity reservation contract. [Citation Graph (0, 0)][DBLP]
    European Journal of Operational Research, 2005, v:165, n:1, pp:127-138 [Journal]

  7. Sums of squares based approximation algorithms for MAX-SAT. [Citation Graph (, )][DBLP]


Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002