Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling.

Hiroshi Unno, Tachio Terauchi

Browse the full TACAS paper archive.