Login / Signup

Model and Program Repair via SAT Solving.

Paul C. AttieKinan Dak-Al-BabMouhammad Sakr
Published in: ACM Trans. Embed. Comput. Syst. (2018)
Keyphrases
  • computational complexity
  • optimization problems
  • cellular automata
  • column generation
  • sat solving