Artificial Conflict Sampling for Real Satisfiability Problems.

James H. Davenport, Ali Kemal Uncu

Browse the full SYNASC paper archive.