Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing functionality » processing functional, protein functionality, properties functionality
functionality function » functionals function, functionaries function, functional functions
sat processing » dat processing, fat processing, meat processing
function https » functions https, fiction https
parallel sat » parallel a, parallel ant, parallel batch
processing functionality » processing functional, protein functionality, properties functionality
functionality function » functionals function, functionaries function, functional functions
sat processing » dat processing, fat processing, meat processing
function https » functions https, fiction https
parallel sat » parallel a, parallel ant, parallel batch
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 2012
Table of Contents:
“... Search for SAT -- Anytime Algorithms for Biobjective Heuristic Search -- ICHEA for Discrete Constraint...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... Discovery -- Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems...”View full text
Electronic
eBook
4
Published 2012
Table of Contents:
“... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... of Uncountable-State Stochastic Processes -- Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... Problems -- Portfolio with Block Branching for Parallel SAT Solvers -- Parameter Setting with Dynamic...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... for Natural Language Processing (and Vice Versa?) -- Statistical Relational Learning: An Inductive Logic...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... PTAS for Scheduling on Agreeable Unrelated Parallel Batch Processing Machines with Dynamic Job Arrivals...”View full text
Electronic
eBook
13
Published 2012
Table of Contents:
“...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...”View full text
Electronic
eBook
14
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
15
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
16
Published 2010
Table of Contents:
“... Solutions -- Diversification and Intensification in Parallel SAT Solving -- A Systematic Approach to MDD...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Trees in Dynamic Graphs -- Exact Max 2-Sat: Easier and Faster -- Maximum Finding in the Symmetric Radio...”View full text
Electronic
eBook
18
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