Linda van Norden
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2002–2005
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | SAT | Sums of Squares, Satisfiability and Maximum Satisfiability. | Hans van Maaren, Linda van Norden |
| 2003 | SAT | Hidden Threshold Phenomena for Fixed-Density SAT-formulae. | Hans van Maaren, Linda van Norden |
| 2002 | CP | A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design. | Linda van Norden, Hans van Maaren |