related documents Refining the SAT decision ordering for bounded model checking Conference Proceeding
