TY - GEN digital ID - 131154066 TI - Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings AU - Biere, Armin AU - Gomes, Carla P. PY - 2006 SN - 9783540372073 PB - Berlin Heidelberg Springer-Verlag GmbH DB - UniCat KW - Mathematical logic KW - Complex analysis KW - Computer architecture. Operating systems KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Computer. Automation KW - complexe analyse (wiskunde) KW - wiskunde KW - OS (operating system) KW - logica KW - robots KW - numerieke analyse UR - https://www.unicat.be/uniCat?func=search&query=sysid:131154066 AB - ER -