
PASS
 Referenced in 7 articles
[sw21858]
 PASS: string solving with parameterized array and interval automaton. The problem of solving string constraints ... reduce string constraints to bitvector constraints or automaton operations, which are then solved ... strings, and converts string constraints into quantified expressions that are solved through quantifier elimination ... handle regular expressions and reason about string values faster. Our method does not need...

StrSolve
 Referenced in 5 articles
[sw21857]
 StrSolve: solving string constraints lazily. Reasoning about strings is becoming a key step ... analysis and testing frameworks. Standalone string constraint solving tools, called decision procedures, have been ... This separation enables independent improvement of string constraint solving algorithms and reduces client effort ... decision procedure that reasons about equations over string variables. Our approach scales well with respect...

Spheno
 Referenced in 52 articles
[sw09544]
 supersymmetry breaking, anomaly mediated supersymmetry breaking, or string effective field theories. An interface exists ... easy implementation of other models. The program solves the renormalization group equations numerically...

TopoICE
 Referenced in 4 articles
[sw35405]
 dimensional visualization and manipulation software for solving 2string tangle equations and can be used...

Z3str2
 Referenced in 3 articles
[sw30520]
 Such solvers typically support a theory of string equations, the length function, and the regular ... which comes at the cost of slow solving time, and in some cases even ... three techniques, designed for wordbased SMT string solvers, to mitigate these problems: (1) detecting ... these tools utilizes a different solving strategy and/or string representation (based e.g. on words...

JST
 Referenced in 3 articles
[sw19494]
 Java applications. This tool uses a numericstring hybrid symbolic execution engine at its core ... widely used data structures; novel solving techniques for string constraints, regular expressions, and their interactions...

Symbolic automata
 Referenced in 5 articles
[sw13262]
 transducers over strings. It also handles transducers with registers. Constraint solving is used when composing...

MoTeX
 Referenced in 1 article
[sw34563]
 algorithms for solving the fixedlength approximate string matching problem. It produces similar and partially...

ecr
 Referenced in 2 articles
[sw16501]
 solved with a standard EA which works on realvalued vectors, permutations or binary strings...

PSLDoc
 Referenced in 1 article
[sw24765]
 PLSA) to solve this problem. A protein is considered as a term string composed...

IDP3
 Referenced in 7 articles
[sw22941]
 strong interest in declarative modeling and constraintsolving as opposed to algorithmic approaches. The paper ... automaton consistent with a given set of strings. For this last problem, we show that...

ReHap
 Referenced in 1 article
[sw35233]
 algorithmic problem in this process is to solve the haplotype assembly problem, (also known ... problem of reconstructing the two haplotype strings (paternal and maternal) using the large collection...

PerlGP
 Referenced in 3 articles
[sw10501]
 genetic programming system  and can metaevolution solve the bloat problem? An open source Perl ... ease of implementing new problems, particularly stringbased ones. The effect of pernode, fixed...

genieclust
 Referenced in 1 article
[sw39419]
 supports various distances over dense, sparse, and string data domains, and can be robustified even ... independent software, it can be used for solving problems arising in all datadriven research...

JavaSMT
 Referenced in 1 article
[sw18525]
 newly developed tools rely on SMT solving. The SMTLIB initiative defines a common format ... solver have to be serialized to strings. Yet using the API directly creates the problem ... solverindependent API layer for SMT solving. Our library aims to close the gap between...

TREKS
 Referenced in 3 articles
[sw22483]
 therefore, cannot be easily identified. To solve this problem, several computer programs which were based ... clustering of lengths between identical short strings by using a Kmeans algorithm. Benchmark...

VATRAM
 Referenced in 2 articles
[sw18809]
 many tools have been developed to solve the read mapping problem. However, there ... genome is not considered as a single string over ACGT, but as a complex object...

pyuca
 Referenced in 1 article
[sw29182]
 Unicode Collation Algorithm. Collation, the sorting of strings, is an important part of computational work ... Collation Algorithm (The Unicode Consortium (2015)) to solve this problem. pyuca is a Python implementation...

Gaggle
 Referenced in 4 articles
[sw20341]
 source Java software environment that helps to solve the problem of software and database integration ... integrated diverse databases (for example, KEGG, BioCyc, String) and software (Cytoscape, DataMatrixViewer, R statistical environment...