Sökresultat - parallel sat program functionality using https

1

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”
Hämta fulltext

Elektronisk E-bok

2

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Publicerad 2013

Innehållsförteckning: “... Instances -- Beyond SAT -- Solutions for Hard and Soft Constraints Using Optimized Probabilistic...”
Hämta fulltext

Elektronisk E-bok

3

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

Publicerad 2005

Innehållsförteckning: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
Hämta fulltext

Elektronisk E-bok

4

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

Publicerad 2014

Innehållsförteckning: “... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...”
Hämta fulltext

Elektronisk E-bok

5

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Publicerad 2006

Innehållsförteckning: “... Second Order Joinability Formulae -- SAT Solving for Argument Filterings -- Inductive Decidability Using...”
Hämta fulltext

Elektronisk E-bok

6

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Publicerad 2013

Innehållsförteckning: “... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”
Hämta fulltext

Elektronisk E-bok

7

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

Publicerad 2010

Innehållsförteckning: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Hämta fulltext

Elektronisk E-bok

8

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

Publicerad 2013

Innehållsförteckning: “... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...”
Hämta fulltext

Elektronisk E-bok

9

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

Publicerad 2008

Innehållsförteckning: “... Diagnosis with the Use of Intelligent Techniques -- Introducing Parallel Computations to a PTTP-Based First...”
Hämta fulltext

Elektronisk E-bok

10

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

Publicerad 2013

Innehållsförteckning: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Hämta fulltext

Elektronisk E-bok

11

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...

Publicerad 2015

Innehållsförteckning: “... of Uncountable-State Stochastic Processes -- Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving...”
Hämta fulltext

Elektronisk E-bok

12

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

Publicerad 2008

Innehållsförteckning: “... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”
Hämta fulltext

Elektronisk E-bok

13

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

Publicerad 2008

Innehållsförteckning: “...Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous...”
Hämta fulltext

Elektronisk E-bok

14

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

Publicerad 2005

Innehållsförteckning: “...Invited Lecture -- Robust Airline Fleet Assignment:Imposing Station Purity Using Station...”
Hämta fulltext

Elektronisk E-bok

15

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

Publicerad 2005

Innehållsförteckning: “... Sphere Cut Branch Decompositions -- An Algorithm for the SAT Problem for Formulae of Linear Length...”
Hämta fulltext

Elektronisk E-bok

16

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...”
Hämta fulltext

Elektronisk E-bok

17

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

Publicerad 2005

Innehållsförteckning: “...Invited Talks -- T? ??? ?í ? ??í?? ? The Interaction Between Algorithms and Game Theory -- Using...”
Hämta fulltext

Elektronisk E-bok

18

Autonomous Search

Publicerad 2012

Innehållsförteckning: “... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....”
Hämta fulltext

Elektronisk E-bok

19

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

Publicerad 2013

Innehållsförteckning: “... Problems -- Portfolio with Block Branching for Parallel SAT Solvers -- Parameter Setting with Dynamic...”
Hämta fulltext

Elektronisk E-bok

20

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

Publicerad 2012

Innehållsförteckning: “... Binomial Mixture Models -- Constrained Clustering Using SAT -- Two-stage Approach for Electricity...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen