Efficient SAT engines for concise logics: Accelerating proof search for zero-one linear constraint systems

Martin Fränzle, Christian Herde

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    1 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Efficient SAT engines for concise logics: Accelerating proof search for zero-one linear constraint systems'. Together they form a unique fingerprint.

    Engineering & Materials Science