Analyzing Unsatisfiability in Bounded Model Checking Using Max-SMT and Dual Slicing.

Takuro Kutsuna, Yoshinao Ishii

Browse the full FMICS paper archive.