Login / Signup

Automated workarounds from Java program specifications based on SAT solving.

Marcelo UvaPablo PonzioGermán RegisNazareno AguirreMarcelo F. Frias
Published in: Int. J. Softw. Tools Technol. Transf. (2018)
Keyphrases
  • sat solving
  • sat solvers
  • boolean satisfiability
  • boolean optimization
  • sat problem
  • information retrieval systems
  • heuristic search
  • orders of magnitude
  • sat encodings