Automated goal operationalisation based on interpolation and SAT solving.

Renzo Degiovanni Dalal Alrajeh Nazareno Aguirre Sebastián Uchitel

Published in: ICSE (2014)

Keyphrases

sat solving
sat solvers
boolean satisfiability
search tree
information retrieval
boolean optimization