swMATH ID: 4622
Software Authors: Aloul, F. A., Ramani, A., Markov, I. L., & Sakallah, K. A.
Description: Reads as input both: CNF constraints, PB constraints (e.g. -2x + 3y + . + 6z <= 7, where x, y, and z are Boolean literals.) Can be used to solve decision (Yes/No) and optimization (Max/Min) problems. Includes incremental features. PBS options include: Static/Dynamic decision heuristics, 1-UIP conflict diagnosis, Random restarts and backtracking
Homepage: http://www.aloul.net/Tools/pbs/
Keywords: backtrack-search pseudo-Boolean solver and optimizer
Related Software: Chaff; MiniSat; Pueblo; BerkMin; SATO; MiniMaxSat; Sat4j; PicoSAT; MaxSolver; MIPLIB; Velev SAT Benchmarks; Walksat; SATIRE; OPIUM; clasp; RPOLY; CP-nets; PSPLIB; Smodels; Shatter
Cited in: 38 Publications

Citations by Year