תוצאות חיפוש - parallel sat computing functionality function https

1

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

יצא לאור 2010

תוכן הענינים: “... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

2

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

יצא לאור 2013

תוכן הענינים: “...-algebraic Proofs -- Turing’s Computable Real Numbers and Why They Are Still Important Today...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

3

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

יצא לאור 2010

תוכן הענינים: “... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

4

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

יצא לאור 2013

תוכן הענינים: “... - Their Brains and Their Computers -- Turing’s Three Pioneering Initiatives and Their Interplays -- An Outline...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

5

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

יצא לאור 2010

תוכן הענינים: “... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

6

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

יצא לאור 2008

תוכן הענינים: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

7

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory...

יצא לאור 2007

תוכן הענינים: “... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

8

Autonomous Search

יצא לאור 2012

תוכן הענינים: “... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

9

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

יצא לאור 2010

תוכן הענינים: “... for Random 2SAT -- Improved Rounding for Parallel Repeated Unique Games -- A Query Efficient Non-adaptive...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

10

Information and Communications Security 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings /

יצא לאור 2006

תוכן הענינים: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

11

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

יצא לאור 2008

תוכן הענינים: “... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

12

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

יצא לאור 2005

תוכן הענינים: “... to Balanced Metric Labeling -- Fearful Symmetries: Quantum Computing, Factoring, and Graph Isomorphism...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

13

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

יצא לאור 2013

תוכן הענינים: “... Problems -- Portfolio with Block Branching for Parallel SAT Solvers -- Parameter Setting with Dynamic...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

14

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

יצא לאור 2014

תוכן הענינים: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

15

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

יצא לאור 2005

תוכן הענינים: “...-Performance Algorithm Engineering for Large-Scale Graph Problems and Computational Biology -- Contributed...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

16

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

יצא לאור 2005

תוכן הענינים: “... -- Computation of Arbitrage in a Financial Market with Various Types of Frictions -- Solving SAT Problems with TA...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

17

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

יצא לאור 2005

תוכן הענינים: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

18

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

יצא לאור 2008

תוכן הענינים: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

19

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

יצא לאור 2013

תוכן הענינים: “... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

20

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

יצא לאור 2015

תוכן הענינים: “... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

צמצם חיפוש