Login / Signup

The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets.

Simon AusserlechnerSandra FruhmannWolfgang WieserBirgit HoferRaphael SporkClemens MühlbacherFranz Wotawa
Published in: QSIC (2013)
Keyphrases
  • database
  • databases
  • search engine
  • search algorithm
  • evolutionary algorithm
  • hardware designs