Generalizing DPLL and satisfiability for equalities Article

B. Badban (Bahareh), J.C. van de Pol (Jaco), O. Tveretina and H. Zantema (Hans)

An efficient, streamable text format for multimedia captions and subtitles In Proceedings

D.C.A. Bulterman (Dick), A.J. Jansen (Jack), P.S. César Garcia (Pablo Santiago) and S. Cruz-Lara (Samuel)

Optimality and uniqueness of the (4,10,1/6) spherical code Tech Report

C. Bachoc and F. Vallentin (Frank)

A Knapsack Secretary Problem with Applications In Proceedings

M. Babaioff, N.S. Immorlica (Nicole Simone), D. Kempe and R. Kleinberg

An optimal bifactor approximation algorithm for the metric uncapacitated facility location problem In Proceedings

J. Byrka (Jaroslaw)

Ambiguity Detection Methods for Context-Free Grammars Master Thesis

H.J.S. Basten (Bas)

Wiskunde in beweging : vooraankondiging 61e vakantiecursus voor wiskundeleraren, Eindhoven, 24-25.08.2007, en Amsterdam, 31.08-01.09.2007 Other

Characterisation of mitochondrial transit peptides by means of fractal dimension Master Thesis

C. Staiger (Christine)