Research Assets, Solvers & Datasets

Open-source software libraries, benchmark datasets, learning materials, and the SAT Book monograph published by SATLab UET.

1. Books & Monograph

SAT Book Monograph — Optimal SAT Encodings

PUBLISHED & MAINTAINED

A comprehensive academic monograph synthesizing theoretical foundations, cardinality & Pseudo-Boolean encodings, and software engineering practices for optimal SAT encodings.

Format: HTML Web Reader / PDF / LaTeX · Pages: 106 Pages · Maintainers: SATLab Authors

Read HTML Edition ↗ Download PDF (106 Pages) Download LaTeX Source (.zip)

2. Open-Source Solvers & Software

SCLib — Shared Counter Library (C++)

C++ LIBRARY

High-performance C++ header-only library for generating sequential counter encodings, ladder-shaped AMO/AMK cardinality constraints, and Pseudo-Boolean translations.

MaxSAT-DDD Train Rescheduling Engine

DECISION ENGINE

Dynamic Decoupled Domain reasoning engine integrated with MaxSAT solvers for real-time railway train dispatching and rescheduling under track conflicts.

3. Benchmark Datasets

Assembly Line Balancing (SALBP & UALBP) Benchmarks

Comprehensive test instances for Power Peak Minimization and Makespan Optimization in single and U-shaped assembly line balancing.

2D Strip Packing & Cutting Stock Benchmarks

Standard benchmark sets for two-dimensional rectangular strip packing and single stock size cutting stock problems.

Graph Labeling & Antibandwidth Benchmark Instances

Hard graph instances for Antibandwidth, Cyclic Antibandwidth, Radio-k Labeling, and Bandwidth Multicoloring evaluation.