Unary resolution: Characterizing PTIME

Clément Aubert, Marc Bagnol, Thomas Seiller

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Fingerprint

Dive into the research topics of 'Unary resolution: Characterizing PTIME'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science