Suchergebnisse - parallel sat structures functionality function https

Andere Suchmöglichkeiten:
structures functionality » structure functionality , structural functionality , structure functional
functionality function » functionals function , functionaries function , functional functions
sat structures » salt structures , smart structures , soft structures
function https » functions https , fiction https
parallel sat » parallel a , parallel ant , parallel batch

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

Veröffentlicht 2010

Inhaltsangabe: “... Randomized Algorithms for 3-SAT -- Quantum Counterfeit Coin Problems -- Session 2A. Data Structure...”
Volltext

Elektronisch E-Book

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Bar...

Veröffentlicht 2010

Inhaltsangabe: “... Circuits -- The Structure of Winning Strategies in Parallel Repetition Games -- Distribution-Free Testing...”
Volltext

Elektronisch E-Book

Experimental and Efficient Algorithms 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... -- Efficient Implementation of Rank and Select Functions for Succinct Representation -- Comparative Experiments...”
Volltext

Elektronisch E-Book

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Veröffentlicht 2008

Inhaltsangabe: “...Invited Lectures -- Graph Structure and Monadic Second-Order Logic: Language Theoretical Aspects...”
Volltext

Elektronisch E-Book

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... PTAS for Scheduling on Agreeable Unrelated Parallel Batch Processing Machines with Dynamic Job Arrivals...”
Volltext

Elektronisch E-Book

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Sphere Cut Branch Decompositions -- An Algorithm for the SAT Problem for Formulae of Linear Length...”
Volltext

Elektronisch E-Book

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... Second Order Joinability Formulae -- SAT Solving for Argument Filterings -- Inductive Decidability Using...”
Volltext

Elektronisch E-Book

Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers /

Veröffentlicht 2013

Inhaltsangabe: “... Discovery -- Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems...”
Volltext

Elektronisch E-Book

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond...”
Volltext

Elektronisch E-Book

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”
Volltext

Elektronisch E-Book

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...”
Volltext

Elektronisch E-Book

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...”
Volltext

Elektronisch E-Book

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings /

Veröffentlicht 2013

Inhaltsangabe: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Volltext

Elektronisch E-Book

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Veröffentlicht 2014

Inhaltsangabe: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Volltext

Elektronisch E-Book

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers /

Veröffentlicht 2013

Inhaltsangabe: “... Problems -- Portfolio with Block Branching for Parallel SAT Solvers -- Parameter Setting with Dynamic...”
Volltext

Elektronisch E-Book

Bioinformatics Research and Development First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... Cell Nuclei -- Session 4: Medical, SNPs, Genomics II -- Structural Screening of HIV-1 Protease...”
Volltext

Elektronisch E-Book

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... Solutions -- Diversification and Intensification in Parallel SAT Solving -- A Systematic Approach to MDD...”
Volltext

Elektronisch E-Book

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Minimization -- On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels...”
Volltext

Elektronisch E-Book

AI 2012: Advances in Artificial Intelligence 25th International Australasian Joint Conference, Sydney, Australia, December 4-7, 2012, Proceedings /

Veröffentlicht 2012

Inhaltsangabe: “... Multiple Choice Question Generation -- A New Genetic Algorithm for Simplified Protein Structure Prediction...”
Volltext

Elektronisch E-Book

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Veröffentlicht 2013

Inhaltsangabe: “... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...”
Volltext

Elektronisch E-Book

Suche einschränken