Skip to main content
Skip to main navigation menu
Skip to site footer
Open Menu
Home
Current
Archives
About
General Info
About the Journal
Publication ethics
Submissions
Editorial Team
Privacy Statement
Contact
Search
Search
Register
Login
Search
Search
Semenov, Alexander, Institute for System Dynamics and Control Theory of SB RAS, Irkutsk, Russian Federation
Computer Science Vol. 13 No. 1
- Articles
USING BOINC DESKTOP GRID TO SOLVE LARGE SCALE SAT PROBLEMS
Abstract
PDF
Current Issue
Information
For Readers
For Authors
Make a Submission
Make a Submission