LP2SAT

swMATH33082MaRDI QIDQ44791FDOQ44791

Author name not available (Why is that?)

Cited In (1)

• Model enumeration in propositional circumscription via unsatisfiable core analysis

This page was built for software: LP2SAT