Starred repositories
Application for implementing and comparing different approaches to generation of diagonal Latin squares and to the search of their orthogonal mates
Repository containing source codes for solvers used in the paper submitted to SAT 2021
The repository containing the implementations of solvers and logs of experiments for the SAT2020 paper.
Encoding different problems into Boolean satisfiability
SMAC3: A Versatile Bayesian Optimization Package for Hyperparameter Optimization
Iterated Racing for Automatic Algorithm Configuration
A Python script to create cactus and scatter plots based on matplotlib
Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
A research platform and active library for generalised SAT solving
A beautiful, simple, clean, and responsive Jekyll theme for academics