LP2SAT

MaRDI QIDQ44791swMATHFDO

Official website http://www.tcs.hut.fi/Software/lp2sat/

Cited in

(3)

• Model enumeration in propositional circumscription via unsatisfiable core analysis
• circumscriptino
• hclasp

This page was built for software: LP2SAT