swMATH9482MaRDI QIDQ21464FDOQ21464
Author name not available (Why is that?)
Official website: http://www.cs.tau.ac.il/research/alexander.nadel/
Cited In (11)
- A taxonomy of exact methods for partial Max-SAT
- Theory and Applications of Satisfiability Testing
- Some computational aspects of DISTANCE SAT
- Theory and Applications of Satisfiability Testing
- Assignment stack shrinking
- Galileo
- QingTing1
- BerkMin
- Eureka
- Theory and Applications of Satisfiability Testing
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
This page was built for software: Jerusat
