Nauchnik/CAMBALA
CAMBALA: Coupled Acoustic Modes with Bottom Attenuation in Linear Acoustics
Developer Profile
Nauchnik
Discovered public repositories for Nauchnik in the GitHub catalog.
Nauchnik/transalg-comparison
CNFs and additional data for comparison Transalg with other systems
Nauchnik/DiagonalLatinSquaresGenerator
Generator of Diagonal Latin Squares of order 10
Nauchnik/CluBORun
Tool for launching volunteer computing on computing clusters
Nauchnik/Local_search_LS
Local search for pseudotriples of Latin squares
Nauchnik/pdsat
Parallel and Distributed SAT solver
Nauchnik/utils
Utilities for encoding and solving SAT problems
Nauchnik/ferrumsat
Encodings in the DIMACS format for Boolean satisfiability problem
Nauchnik/SAT-at-home
Volunteer computing project SAT@home