Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
function function » function functional, functions functional, function dysfunction
parallel problem » parallel program, parallel programs, parallel robots
modulo function » modular function, modal function, nodule function
problem modulo » problems modulo, problems module, problem model
function https » functions https, fiction https
function function » function functional, functions functional, function dysfunction
parallel problem » parallel program, parallel programs, parallel robots
modulo function » modular function, modal function, nodule function
problem modulo » problems modulo, problems module, problem model
function https » functions https, fiction https
1
Опубликовано 2013
Оглавление:
“...Invited Talks -- The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2015
Оглавление:
“... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2014
Оглавление:
“... and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2012
Оглавление:
“... Problem -- A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2005
Оглавление:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2010
Оглавление:
“...Invited Talks -- SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2005
Оглавление:
“... Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2013
Оглавление:
“... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2008
Оглавление:
“... in SMT -- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems -- SMELS: Satisfiability Modulo...”Полный текст
Электронный ресурс
eКнига