LP2SAT

swMATH33082MaRDI QIDQ44791FDOQ44791

Author name not available (Why is that?)

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