Beast code in Giters

Alexandr's repositories

clause-producer

Language:Python100

sota

Language:Jupyter Notebook100

thesis_experiments

Language:Python100

awesome-ml4co

Awesome machine learning for combinatorial optimization papers.

Language:Python000

backdoor-searcher

[WIP] EA-based backdoor searcher (see `ea` branch)

Language:C++NOASSERTION000

distributed_backdoors_search

Language:Python010

eventsousing

Language:Java000

evo_network

Language:Python010

evoguess-ai-aaai-2023

Language:Python000

evoguess-TPE

Language:PythonMIT000

itmoffe_bot_site

Language:Python000

kissat_origin

Language:CMIT000

kissat_with_db_integration

Language:CMIT000

lab1_evo

Language:Java000

lab2_evo

Language:JavaApache-2.0000

lab3_evo

Language:Java000

lab4_evo

Language:Java000

lab5_evo

Language:Java000

lab6_evo

Language:Java000

Maple_LCM_Dist_Chrono_with_redis

BEST SAT SOLVER EVER 2019

Language:C++000

matcher

matcher for Random Coffee

Language:Python000

minisat_with_redis_integration

A minimalistic and high-performance SAT solver

Language:C++NOASSERTION000

ml-course

Open Machine Learning course

MIT000

ml-course-hse

Машинное обучение на ФКН ВШЭ

000

new_clause_producer

new clause producer

Language:Python000

randomcoffee_students

Language:Python000

shad_fix_set

Language:C++000

slurm_test_system

Language:Python000

test-container

Language:Java000

TINKOFF_ML

Language:Jupyter Notebook000