Sergey Gorsky
Papers
1
Total Citations
5
H-Index
1
About
No biography available yet.
Research Focus
Algorithm1 · 5 citations
And-inverter graph1 · 5 citations
Boolean expression1 · 5 citations
Boolean function1 · 5 citations
Boolean satisfiability problem1 · 5 citations
Computer science1 · 5 citations
Maximum satisfiability problem1 · 5 citations
Satisfiability1 · 5 citations
Theoretical computer science1 · 5 citations
Key Achievements
1
H-Index
1
Papers
5
Total Citations
5
Avg Citations/Paper
🏆 Most Cited Paper
HPC-based parallel software for solving applied Boolean satisfiability problems
5 citations · 2020
📈 Most Prolific Year: 2020 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: Institute for System Dynamics and Control Theory
Top Papers
- 1
Key Collaborators
Not generated yet