Login / Signup

Automated Workarounds from Java Program Specifications Based on SAT Solving.

Marcelo UvaPablo PonzioGermán RegisNazareno AguirreMarcelo F. Frias
Published in: FASE (2017)
Keyphrases
  • sat solving
  • sat solvers
  • sat problem
  • boolean satisfiability
  • boolean optimization
  • information retrieval
  • data structure
  • constraint satisfaction
  • branch and bound algorithm