Efficient sampling of SAT solutions for testing.

Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, Koushik Sen

Browse the full ICSE paper archive.