الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
structures function » structures functions, structure function, structure functions
function function » function functional, functions functional, function dysfunction
sat structures » salt structures, smart structures, soft structures
function https » functions https, fiction https
parallel sat » parallel a, parallel ant, parallel batch
structures function » structures functions, structure function, structure functions
function function » function functional, functions functional, function dysfunction
sat structures » salt structures, smart structures, soft structures
function https » functions https, fiction https
parallel sat » parallel a, parallel ant, parallel batch
1
منشور في 2010
جدول المحتويات:
“... Randomized Algorithms for 3-SAT -- Quantum Counterfeit Coin Problems -- Session 2A. Data Structure...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2010
جدول المحتويات:
“... Circuits -- The Structure of Winning Strategies in Parallel Repetition Games -- Distribution-Free Testing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2005
جدول المحتويات:
“... -- Efficient Implementation of Rank and Select Functions for Succinct Representation -- Comparative Experiments...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2008
جدول المحتويات:
“...Invited Lectures -- Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2005
جدول المحتويات:
“... PTAS for Scheduling on Agreeable Unrelated Parallel Batch Processing Machines with Dynamic Job Arrivals...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2005
جدول المحتويات:
“... Sphere Cut Branch Decompositions -- An Algorithm for the SAT Problem for Formulae of Linear Length...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2006
جدول المحتويات:
“... Second Order Joinability Formulae -- SAT Solving for Argument Filterings -- Inductive Decidability Using...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2013
جدول المحتويات:
“... Discovery -- Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2005
جدول المحتويات:
“... Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2010
جدول المحتويات:
“... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2008
جدول المحتويات:
“... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2008
جدول المحتويات:
“... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2013
جدول المحتويات:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2014
جدول المحتويات:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2013
جدول المحتويات:
“... Problems -- Portfolio with Block Branching for Parallel SAT Solvers -- Parameter Setting with Dynamic...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2007
جدول المحتويات:
“... Cell Nuclei -- Session 4: Medical, SNPs, Genomics II -- Structural Screening of HIV-1 Protease...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2010
جدول المحتويات:
“... Solutions -- Diversification and Intensification in Parallel SAT Solving -- A Systematic Approach to MDD...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2005
جدول المحتويات:
“... Minimization -- On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2012
جدول المحتويات:
“... Multiple Choice Question Generation -- A New Genetic Algorithm for Simplified Protein Structure Prediction...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2013
جدول المحتويات:
“... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...”احصل على النص الكامل
الكتروني
كتاب الكتروني