Satisfiability modulo fuzzing: a synergistic combination of SMT solving and fuzzing.

Sujit Kumar Muduli Subhajit Roy

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

satisfiability problem
stochastic local search
np complete
statistical machine translation
sat solving
davis putnam logemann loveland
search algorithm
combinatorial optimization
solving problems
boolean formula
terminological reasoning