24 skills found
sat-group / Open WboOpen-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
sukrutrao / TimetablerA customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
FlorentAvellaneda / EvalMaxSATState-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques
fbacchus / MaxHSMaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
jezberg / LoandraThe anytime MaxSAT solver Loandra
meelgroup / MLICA new framework to generate interpretable classification rules
dkitch / Maxsat IsingGround-state solver for a generalized Ising model, based on MAXSAT and convex optimization, following the algorithm described in Huang et al, "Finding and proving the exact ground state of a generalized Ising model by convex optimization and MAXSAT" Phys. Rev. B 94, 134424 (2016)
JHL-HUST / BandMaxSATBandMaxSAT: Multi-armed Bandit for the Local Search MaxSAT Solver
alexander-nadel-academic / Tt Open Wbo IncAn anytime MaxSAT solver
molnarb14 / Analog MaxSAT SolverMany real-life optimization problems can be formulated in Boolean logic as MaxSAT. Here we present a continuous-time analog solver for MaxSAT and show that one can predict the maximum number of satisfiable constraints, often well before finding the optimal assignment.
JHL-HUST / BandHSBandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit
pmorvalho / LLM CEGIS RepairAAAI 2025: Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
chrjabs / ScuttleMulti-objective MaxSAT solver written in Rust
minghao-liu / GMSSolve the MaxSAT problem with graph neural networks.
sbjoshi / Open WBO IncAn incomplete MaxSAT solver for weighted MaxSAT problems
maxsat-evaluations / Maxsat Evaluations.github.ioWebsite for MaxSAT Evaluations
ADDALemos / MPPTimetablesMaxSAT and other approaches to solve University timetabling problems and MPP.
vwinkler / ThicketSolverSolving an optimization puzzle via MaxSAT
JHL-HUST / SPB MaxSATRethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
msakai / Glpk MaxsatMax-SAT frontend for GLPK
