Between proof construction and SAT-solving (English)
Free access
- New search for: Schubert, Aleksy
- New search for: Urzyczyn, Paweł
- New search for: Zdanowski, Konrad
- New search for: Schubert, Aleksy
- New search for: Urzyczyn, Paweł
- New search for: Zdanowski, Konrad
2024
- Preprint / Electronic Resource
-
Title:Between proof construction and SAT-solving
-
Contributors:
-
Publisher:
- New search for: arXiv
-
Publication date:2024
-
Type of media:Preprint
-
Type of material:Electronic Resource
-
Language:English
-
Licence:
-
Source: