Fingerprint
Dive into the research topics of 'Logic programming with satisfiability'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Logic programming with satisfiability
Michael Codish, Vitaly Lagoon, Peter J. Stuckey
Research output: Contribution to journal › Article › peer-review