RC2
From MaRDI portal
Software:51750
swMATH36048MaRDI QIDQ51750FDOQ51750
Author name not available (Why is that?)
Source code repository: https://github.com/pysathq/pysat
Cited In (10)
- Clause redundancy and preprocessing in maximum satisfiability
- Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability
- Abstract cores in implicit hitting set MaxSat solving
- A proof builder for Max-SAT
- Efficient SAT-based minimal model generation methods for modal logic S5
- Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT
- Understanding the power of Max-SAT resolution through up-resilience
- Assessing progress in SAT solvers through the Lens of incremental SAT
- Using Merging Variables-Based Local Search to Solve Special Variants of MaxSAT Problem
- SAT-based rigorous explanations for decision lists
This page was built for software: RC2
