swMATH7283MaRDI QIDQ19328FDOQ19328
Author name not available (Why is that?)
Official website: http://sat4j.org/
Cited In (only showing first 100 items - show all)
- Herbrand constructivization for automated intuitionistic theorem proving
- Analyzing program termination and complexity automatically with \textsf{AProVE}
- Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability
- Quantified maximum satisfiability
- MaxSAT by improved instance-specific algorithm configuration
- Minimally unsatisfiable Boolean circuits
- Riss
- Algorithms for the workflow satisfiability problem engineered for counting constraints
- New local search methods for partial MaxSAT
- OptSAT
- Pueblo
- Saturn
- TAMPR
- QingTing1
- Siege
- Walksat
- PBS
- SAT competition
- SATIRE
- OPBDP
- RPOLY
- JaCoP
- MUltlog
- Chaff
- BPEL2PN
- CLIPS
- Goanna
- NiVER
- PicoSAT
- Scarab
- ToulBar2
- Glucose
- PrecoSAT
- OPIUM
- ESPRESSO
- PhyloWS
- TreeTagger
- RunLim
- Runsolver
- Motras
- Jerusat
- ProbView
- Soot
- QMaxSAT
- MiniMaxSat
- MSUnCore
- MIO Workbench
- vUML
- GlueMiniSat
- Open-WBO
- PackUp
- VMC
- XHSTT
- BAP
- CCASat
- ROSoClingo
- Gen2sat
- LMHS
- Cutting to the chase. Solving linear integer arithmetic
- WPM2
- MaxHS
- CodeHint
- Denali
- halp
- JSketch
- CNFgen
- PARSEWeb
- MaxPre
- XSnippet
- PIPE2
- APT
- vZ
- KEMS
- lp2normal
- Tuffy
- SCCWalk
- AO4BPEL
- maxino
- Slakje
- WPDS++
- WhaleProver
- RockIt
- Pint
- tiny_sha3
- Iterative and core-guided maxsat solving: a survey and assessment
- Component-based synthesis for complex APIs
- CCLS
- CCEHC
- SATLike
- RC2
- Mjollnir
- fmp
- CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability
- Open-WBO: a modular MaxSAT solver
- Cutting to the chase.
- Algorithms for Weighted Boolean Optimization
- Solving (Weighted) Partial MaxSAT through Satisfiability Testing
- MTSA
- QMaxSATpb
- Parameterized complexity of the workflow satisfiability problem
This page was built for software: Sat4j
