A SAT Encoding for the n-Fractions Problem

Research output: Working paper/PreprintPreprint

40 Downloads (Pure)

Fingerprint

Dive into the research topics of 'A SAT Encoding for the n-Fractions Problem'. Together they form a unique fingerprint.