Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Akitoshi Nakajima
Clayton D. Scott
muljowidodo kartidjo
Duzgun, H.Sebnem
Jean Jourdan
Roland Zumkeller
Maximilian Dürr
Dan Graur
Haoyun Hong
Jan Crols
Home
/
Paper
/
On the Configuration of SAT Formulae.
Paper Info
Open Visualization
Title
On the Configuration of SAT Formulae.
Year
DOI
Venue
2019
10.1007/978-3-030-35166-3_19
AI*IA
Field
DocType
Citations
Discrete mathematics,Mathematics
Conference
0
PageRank
References
Authors
0.34
0
2
Authors (2 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Mauro Vallati
1
216
46.63
Marco Maratea
2
0
3.72
1