Drechsler, Rolf2019-08-142024-04-222019-08-142024-04-222012978-1-4419-9976-4https://drs.ess.gov.et/handle/12345678/78303enSatisfiabilityHigh Quality Test Pattern Generation and Boolean SatisfiabilityBook