Publication
-
Generalizing DPLL and satisfiability for equalities Article
Information and Computation, 205(8), 1117-1294.August 2007 -
August 2007
-
A Knapsack Secretary Problem with Applications In Proceedings
August 2007 -
An optimal bifactor approximation algorithm for the metric uncapacitated facility location problem In Proceedings
August 2007
-
On queues with service and interarrival times depending on waiting times Article
Queueing Systems, 56(3-4), 121-132.August 2007 -
Ambiguity Detection Methods for Context-Free Grammars Master Thesis
August 2007
-
August 2007 -
September 2007