Arama Sonuçları - parallel sat problems function function https

1

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Satisfaction Problems with SAT Technology -- Refereed Papers -- A Church-Style Intermediate Language for ML F...”
Tam Metin Erişim

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- There Are No CNF Problems -- Best Paper -- Soundness of Inprocessing in Clause Sharing SAT Solvers -- Technical...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “...) -- Long Papers -- Clustering and Metaclustering with Nonnegative Matrix Decompositions -- A SAT-Based...”
Tam Metin Erişim

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Discovery -- Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems...”
Tam Metin Erişim

Elektronik Ekitap

5

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Problems -- Portfolio with Block Branching for Parallel SAT Solvers -- Parameter Setting with Dynamic...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”
Tam Metin Erişim

Elektronik Ekitap

10

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... -- Sparser Random 3-SAT Refutation Algorithms and the Interpolation Problem (Extended Abstract...”
Tam Metin Erişim

Elektronik Ekitap

11

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Randomized Algorithms for 3-SAT -- Quantum Counterfeit Coin Problems -- Session 2A. Data Structure...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... for Random 2SAT -- Improved Rounding for Parallel Repeated Unique Games -- A Query Efficient Non-adaptive...”
Tam Metin Erişim

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2012

İçindekiler: “...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Satisfiability Problem -- New Bit-Parallel Indel-Distance Algorithm -- Dynamic Application Placement Under...”
Tam Metin Erişim

Elektronik Ekitap

15

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Computation of Arbitrage in a Financial Market with Various Types of Frictions -- Solving SAT Problems with TA...”
Tam Metin Erişim

Elektronik Ekitap

16

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
Tam Metin Erişim

Elektronik Ekitap

17

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Sphere Cut Branch Decompositions -- An Algorithm for the SAT Problem for Formulae of Linear Length...”
Tam Metin Erişim

Elektronik Ekitap

18

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

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Algorithm for Efficient Solution of 2D and 3D Shape Matching Problems -- Local Search in Parallel Linear...”
Tam Metin Erişim

Elektronik Ekitap

19

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Solutions -- Diversification and Intensification in Parallel SAT Solving -- A Systematic Approach to MDD...”
Tam Metin Erişim

Elektronik Ekitap

20

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... in Conjure -- Improving WPM2 for (Weighted) Partial MaxSAT -- MinSAT versus MaxSAT for Optimization Problems...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt