Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
parallel function » parallel functional, parallel auction, parallel union
function function » function functional, functions functional, function dysfunction
function modulo » function moduli, function model, function models
modulo function » modular function, modal function, nodule function
function https » functions https, fiction https
parallel function » parallel functional, parallel auction, parallel union
function function » function functional, functions functional, function dysfunction
function modulo » function moduli, function model, function models
modulo function » modular function, modal function, nodule function
function https » functions https, fiction https
1
Argitaratua 2006
Aurkibidea:
“... Implicit Induction -- Matching Modulo Superdevelopments Application to Second-Order Matching...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2014
Aurkibidea:
“... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2015
Aurkibidea:
“... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2013
Aurkibidea:
“... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2012
Aurkibidea:
“... Intersection Multiplicities -- A Note on the Space Complexity of Fast D-Finite Function Evaluation -- Inversion...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2013
Aurkibidea:
“... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2005
Aurkibidea:
“... Games with Causal Memory Are Decidable for Series-Parallel Systems -- Expand, Enlarge, and Check: New...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2005
Aurkibidea:
“... Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2015
Aurkibidea:
“... Modulo Theories Framework -- Using Minimal Correction Sets to More Efficiently Compute Minimal...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2010
Aurkibidea:
“...Invited Talks -- SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2008
Aurkibidea:
“... in SMT -- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems -- SMELS: Satisfiability Modulo...”Testu osoa
Baliabide elektronikoa
eBook