Symbolic Trajectory Evaluation using a Satisfiability Solver

Author: Jan-willem Roorda; Chalmers Tekniska Högskola.; Chalmers University Of Technology.; [2005]

Keywords: TEKNIKVETENSKAP; TECHNOLOGY;

Abstract:

This dissertation MIGHT be available in PDF-format. Check this page to see if it is available for download.