Extraction of Intrinsic Features from 3SAT Problems with Self-Supervised Learning and Transformers for Instance-Based Selection of SAT Solvers | Department of Information Systems

To the content
To the main navigation
To the target group navigation
To the sub-navigation

Extraction of Intrinsic Features from 3SAT Problems with Self-Supervised Learning and Transformers for Instance-Based Selection of SAT Solvers

Thesis Relevance	Bachelor
Thesis Supervisor	Dr. Moritz Vinzent Seiler
Associated Professor	Prof. Dr.-Ing. Christian Grimme
Thesis Status	Completed