Certifying Correctness for Combinatorial Algorithms: by Using Pseudo-Boolean Reasoning

Stephan Gocht

Research output: Thesis › Doctoral Thesis (compilation)

260 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Certifying Correctness for Combinatorial Algorithms: by Using Pseudo-Boolean Reasoning'. Together they form a unique fingerprint.

Computer Science