Logic programming with satisfiability

Michael Codish, Vitaly Lagoon, Peter J. Stuckey

Research output: Contribution to journalArticlepeer-review

29 Scopus citations

Fingerprint

Dive into the research topics of 'Logic programming with satisfiability'. Together they form a unique fingerprint.

Keyphrases

Computer Science