Home | deutsch  | Legals | Data Protection | Sitemap | KIT

Compression Techniques for SAT Formula Descriptions

Compression Techniques for SAT Formula Descriptions
Subject:SAT Solving, Compression
Type:Bachelorarbeit
Date:December 2018
Supervisor:

Dominik Schreiber

Student:

Jens Manig

Links:Thesis