Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs.

Gerald Pfeifer

Browse the full LPNMR paper archive.