Suchergebnisse - parallel processing sat function function https

1

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First International Work-Conference on the Interplay Between Natural and Artificial Computati...

Veröffentlicht 2005

Inhaltsangabe: “... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”
Volltext

Elektronisch E-Book

2

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

Veröffentlicht 2012

Inhaltsangabe: “... Search for SAT -- Anytime Algorithms for Biobjective Heuristic Search -- ICHEA for Discrete Constraint...”
Volltext

Elektronisch E-Book

3

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

4

Autonomous Search

Veröffentlicht 2012

Inhaltsangabe: “... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....”
Volltext

Elektronisch E-Book

5

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Veröffentlicht 2015

Inhaltsangabe: “... of Uncountable-State Stochastic Processes -- Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving...”
Volltext

Elektronisch E-Book

6

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

7

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Veröffentlicht 2013

Inhaltsangabe: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Volltext

Elektronisch E-Book

8

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

9

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

10

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

11

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... for Natural Language Processing (and Vice Versa?) -- Statistical Relational Learning: An Inductive Logic...”
Volltext

Elektronisch E-Book

12

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

13

Advances in Intelligent Data Analysis XI 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012, Proceedings /

Veröffentlicht 2012

Inhaltsangabe: “...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...”
Volltext

Elektronisch E-Book

14

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

Veröffentlicht 2007

Inhaltsangabe: “.../Inhibitor Docking by Non-parametric Binomial Distribution Test -- satDNA Analyzer 1.2 as a Valuable...”
Volltext

Elektronisch E-Book

15

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

16

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

17

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Veröffentlicht 2007

Inhaltsangabe: “... Trees in Dynamic Graphs -- Exact Max 2-Sat: Easier and Faster -- Maximum Finding in the Symmetric Radio...”
Volltext

Elektronisch E-Book

18

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... in SMT -- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems -- SMELS: Satisfiability Modulo...”
Volltext

Elektronisch E-Book

Suche einschränken