This document describes the current state of the open source SAT solver MINISAT. The latest
version brings new features that was proven to be successful during the SAT competition …

Minisat v2.0 (beta), Solver description | CiNii Research … (beta), Solver description …

… ), we have x ⊕ x = 0. For example, the output y4 is computed by adding v2 and v5. These two
… We experimented with MiniSat+, Pueblo, SAT4J, and SCIP but were not able to obtain any …

… The excessive homozygotes recorded for the three microsatellite loci contrast with those
observed in the minisatellite loci GHR and MIPR, the heterozygosities of which were at Hardy±…

Empirical studies often observe that the performance of algorithms across problem domains
can be quite uncorrelated. When this occurs, it seems practical to investigate the use of …

… During meiosis the PRDM9 protein recognizes and binds specific target motifs via its zinc-finger
array, which is encoded by a hypervariable minisatellite. To date, PRDM9 diversity has …

… Our experiments with both Minisat and Eureka show that with certain parameters this improves
the run time by 15% - 30% on average (when applied to the 100 test benchmarks of SAT-…

… As a SAT solver we use MiniSat v2 [6] including simplification [5]. Unless mentioned otherwise,
experiments have been carried out on an AMD Athlon 3500+ with 1 GB of main memory. …

… We implemented our method on top of MiniSat v2.2. Cudd v2.4.2 was used for the BDD
package since it offers direct support for enumerating the prime implicants of a BDD. We chose …

… We compare the run-time of uclid against bit blasting to MiniSat, and the STP [10] and Yices
[11] decision procedures. (The latter two procedures jointly won the bit-vector division of the …