A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver

UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main tracks (weighted and unweighted). In MaxSAT Evaluation 2020 it won the weighted main track. It has been created recently at the University of Wrocław. It is a complete solver for partial weighted MaxSAT instanc…

MaxSAT and other approaches to solve University timetabling problems and MPP.

A simple partial unweighted MaxSAT Solver that uses a Minisat backbone

Iterative Train Scheduling with Maximum Satisfiability

GaussMaxHS, a CNF+XOR MaxSAT solver

Boolean SAT solver, using Branch and Bound.

A SAT-IP Hybrid MaxSAT solver

The C++ implementation of the four approximation algorithms for MaxSat Problem.

An Algorithm to Minimize The SAT Model Returned By a SAT Solver