$$\mathsf {CrystalBall}$$ : Gazing in the Black Box of SAT Solving (English)
- New search for: Soos, Mate
- New search for: Kulkarni, Raghav
- New search for: Meel, Kuldeep S.
- New search for: Soos, Mate
- New search for: Kulkarni, Raghav
- New search for: Meel, Kuldeep S.
In:
Theory and Applications of Satisfiability Testing – SAT 2019
;
371-387
;
2019
- Article/Chapter (Book) / Electronic Resource
-
Title:$$\mathsf {CrystalBall}$$ : Gazing in the Black Box of SAT Solving
-
Contributors:
-
Published in:Theoretical Computer Science and General Issues ; 11628 ; 371-387
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2019-01-01
-
Size:17 pages
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source: