Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function function » function functional, functions functional, function dysfunction
pattern function » patterns function, pattern functional, patterson functions
function https » functions https, fiction https
parallel sat » parallel a, parallel ant, parallel batch
sat pattern » set pattern, mat pattern, flat pattern
function function » function functional, functions functional, function dysfunction
pattern function » patterns function, pattern functional, patterson functions
function https » functions https, fiction https
parallel sat » parallel a, parallel ant, parallel batch
sat pattern » set pattern, mat pattern, flat pattern
1
Published 2005
Table of Contents:
“... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... Discovery -- Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Class of Primitive Words -- Complexity of Data Tree Patterns over XML Documents -- A PTAS...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Solutions -- Diversification and Intensification in Parallel SAT Solving -- A Systematic Approach to MDD...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Minimization -- On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“.../Inhibitor Docking by Non-parametric Binomial Distribution Test -- satDNA Analyzer 1.2 as a Valuable...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Sphere Cut Branch Decompositions -- An Algorithm for the SAT Problem for Formulae of Linear Length...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“... Search for SAT -- Anytime Algorithms for Biobjective Heuristic Search -- ICHEA for Discrete Constraint...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... in SMT -- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems -- SMELS: Satisfiability Modulo...”View full text
Electronic
eBook