Nauchnik

Ph.D., leading researcher

ISDCT SB RASIrkutsk, Russia

Pinned Repositories

alias
modulAr tooL for fInding bAckdoors for Sat (ALIAS)
Language:C++42
AndersonAttack
Implementation of the Anderson attack on BOINC
Language:TeX11
CAMBALA
CAMBALA: Coupled Acoustic Modes with Bottom Attenuation in Linear Acoustics
Language:C++3 6 03
CluBORun
Tool for launching volunteer computing on computing clusters
Language:Awk32
DiagonalLatinSquaresGenerator
Generator of Diagonal Latin Squares of order 10
Language:C++00
DLS9_enumeration
Enumeration of DLS of order 9
Language:C++0 2 00
Local_search_LS
Local search for pseudotriples of Latin squares
Language:C++30
pdsat
Parallel and Distributed SAT solver
Language:C++8 4 12
transalg-comparison
CNFs and additional data for comparison Transalg with other systems
Language:C20
utils
Utilities for encoding and solving SAT problems
Language:C++11

Nauchnik/pdsat
Parallel and Distributed SAT solver
Language:C++8 4 12
Nauchnik/alias
modulAr tooL for fInding bAckdoors for Sat (ALIAS)
Language:C++42
Nauchnik/CAMBALA
CAMBALA: Coupled Acoustic Modes with Bottom Attenuation in Linear Acoustics
Language:C++3 6 03
Nauchnik/CluBORun
Tool for launching volunteer computing on computing clusters
Language:Awk32
Nauchnik/Local_search_LS
Local search for pseudotriples of Latin squares
Language:C++30
Nauchnik/transalg-comparison
CNFs and additional data for comparison Transalg with other systems
Language:C20
Nauchnik/AndersonAttack
Implementation of the Anderson attack on BOINC
Language:TeX11
Nauchnik/utils
Utilities for encoding and solving SAT problems
Language:C++11
Nauchnik/DiagonalLatinSquaresGenerator
Generator of Diagonal Latin Squares of order 10
Language:C++00
Nauchnik/DLS9_enumeration
Enumeration of DLS of order 9
Language:C++0 2 00
Nauchnik/EulerParkerAlgorithm
Implementation of the Euler-Parker algorithm for searching all orthogonal mates for a given Latin squares of order 10
Language:C++
Nauchnik/ferrumsat
Encodings in the DIMACS format for Boolean satisfiability problem
Nauchnik/IncrementalPODLSfinder
Incremental SAT searching for new PODLS
Language:C++
Nauchnik/qvoter
qvoter dynamics simulation
Language:C++
Nauchnik/SAT-at-home
Volunteer computing project SAT@home
Language:Assembly