Maximum Satisfiability in Software Analysis: Applications and Techniques.

Xujie Si Xin Zhang Radu Grigore Mayur Naik

Published in: CAV (1) (2017)

Keyphrases

simulated annealing
boolean satisfiability