Joris E. van Zwieten

Publication Activity (10 Years)

Years Active: 2004-2006
Publications (10 Years): 0

Publications

Joris E. van Zwieten, Charl P. Botha, Ben Willekens, Sander Schutte, Frits H. Post, Huib J. Simonsz
Digitisation and 3D Reconstruction of 30 Year Old Microscopic Sections of Human Embryo, Foetus and Orbit. ICIAR (2) (2006)
Marijn Heule, Mark Dufour, Joris E. van Zwieten, Hans van Maaren
March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver. SAT (Selected Papers (2004)