
Pueblo
 Referenced in 34 articles
[sw00743]
 combine it with generic implication graph analysis for conflictinduced learning. Novel features...

MathCheck
 Referenced in 13 articles
[sw13642]
 within the inner loop of a conflictdriven clauselearning SAT solver. SAT+CAS systems ... universal conjectures on any mathematical topic (e.g., graph and number theory, algebra, geometry, etc.) supported...

HaifaSat
 Referenced in 6 articles
[sw00397]
 heuristic like Berkmin. According to this model, conflict clauses are abstractions of the clauses from ... abstraction/refinement strategy (based on the resolvegraph) rather than satisfying the clauses in the chronological...

CirCUs
 Referenced in 9 articles
[sw00128]
 combination of an AndInverterGraph (AIG), Conjunctive Normal Form (CNF) clauses, and Binary Decision ... recognizing that the variables involved in a conflict clause are often best treated...

ImageNetDiff
 Referenced in 1 article
[sw13510]
 process of discovery of differences in possibly conflicting versions of Petri net code. The method ... uses the image representaion of the net graph and compares the pixels of the exported...

SubMAP
 Referenced in 3 articles
[sw25790]
 molecules (nodes) of the input pathways (graphs). We follow the observation that, in nature, different ... also does not contain any conflicting mappings. Here we prove that this maximization...

BARON
 Referenced in 361 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

Boolector
 Referenced in 32 articles
[sw00085]
 Boolector: an efficient SMT solver for bitvectors...

CUTE
 Referenced in 66 articles
[sw00177]
 CUTE: a concolic unit testing engine for C...

Diffpack
 Referenced in 115 articles
[sw00203]
 As modern programming methodologies migrate from computer science...

Isabelle
 Referenced in 719 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

MapReduce
 Referenced in 267 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

Mathematica
 Referenced in 6445 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MBL
 Referenced in 8 articles
[sw00561]
 Parallel programming is essential for largescale scientific...

MetiTarski
 Referenced in 54 articles
[sw00573]
 Many inequalities involving the functions ln, exp, sin...

MiniSat
 Referenced in 584 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

QEPCAD
 Referenced in 285 articles
[sw00752]
 QEPCAD B: A program for computing with semi...

R
 Referenced in 10196 articles
[sw00771]
 R is a language and environment for statistical...