Fingerprint
Dive into the research topics of 'Boolean rings for intersection-based satisfiability'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Boolean rings for intersection-based satisfiability
Nachum Dershowitz*, Jieh Hsiang, Guan Shieng Huang, Daher Kaiss
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review