Sign in

Efficient sampling of SAT solutions for testing.

Rafael DutraKevin LaeuferJonathan BachrachKoushik Sen
Published in: ICSE (2018)
Keyphrases
  • efficient solutions
  • cost effective
  • search procedures
  • algorithmic solutions
  • search algorithm
  • learning algorithm
  • optimal solution
  • monte carlo
  • parameter space
  • sat problem
  • stochastic local search algorithms