Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers.

Lengning Liu, Miroslaw Truszczynski

Browse the full LPNMR paper archive.