Search Results - parallel sat problem functionals function https

1

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

Published 2010

Table of Contents: “... Satisfaction Problems with SAT Technology -- Refereed Papers -- A Church-Style Intermediate Language for ML F...”
View full text

Electronic eBook

2

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

Published 2013

Table of Contents: “... -- There Are No CNF Problems -- Best Paper -- Soundness of Inprocessing in Clause Sharing SAT Solvers -- Technical...”
View full text

Electronic eBook

3

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

Published 2005

Table of Contents: “...) -- Long Papers -- Clustering and Metaclustering with Nonnegative Matrix Decompositions -- A SAT-Based...”
View full text

Electronic eBook

4

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

Published 2013

Table of Contents: “... Discovery -- Asynchronous and Maximally Parallel Deterministic Controlled Non-cooperative P Systems...”
View full text

Electronic eBook

5

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

Published 2013

Table of Contents: “... Problems -- Portfolio with Block Branching for Parallel SAT Solvers -- Parameter Setting with Dynamic...”
View full text

Electronic eBook

6

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

Published 2010

Table of Contents: “... -- Implementing Data Parallel Rational Multiple-Residue Arithmetic in Eden -- Fast Generalized Bruhat...”
View full text

Electronic eBook

7

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

Published 2008

Table of Contents: “... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...”
View full text

Electronic eBook

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

Published 2015

Table of Contents: “... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”
View full text

Electronic eBook

9

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

Published 2005

Table of Contents: “... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...”
View full text

Electronic eBook

10

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

Published 2014

Table of Contents: “... -- Sparser Random 3-SAT Refutation Algorithms and the Interpolation Problem (Extended Abstract...”
View full text

Electronic eBook

11

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

Published 2010

Table of Contents: “... Randomized Algorithms for 3-SAT -- Quantum Counterfeit Coin Problems -- Session 2A. Data Structure...”
View full text

Electronic eBook

12

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

Published 2010

Table of Contents: “... for Random 2SAT -- Improved Rounding for Parallel Repeated Unique Games -- A Query Efficient Non-adaptive...”
View full text

Electronic eBook

13

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

Published 2012

Table of Contents: “...Intelligent Data Analysis of Human Genetic Data -- Queries for Data Analysis -- Parallel Data...”
View full text

Electronic eBook

14

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

Published 2005

Table of Contents: “... Satisfiability Problem -- New Bit-Parallel Indel-Distance Algorithm -- Dynamic Application Placement Under...”
View full text

Electronic eBook

15

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

Published 2005

Table of Contents: “... -- Computation of Arbitrage in a Financial Market with Various Types of Frictions -- Solving SAT Problems with TA...”
View full text

Electronic eBook

16

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

Published 2006

Table of Contents: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
View full text

Electronic eBook

17

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

Published 2005

Table of Contents: “... Sphere Cut Branch Decompositions -- An Algorithm for the SAT Problem for Formulae of Linear Length...”
View full text

Electronic eBook

18

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

Published 2012

Table of Contents: “... Algorithm for Efficient Solution of 2D and 3D Shape Matching Problems -- Local Search in Parallel Linear...”
View full text

Electronic eBook

19

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

Published 2010

Table of Contents: “... Solutions -- Diversification and Intensification in Parallel SAT Solving -- A Systematic Approach to MDD...”
View full text

Electronic eBook

20

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

Published 2013

Table of Contents: “... in Conjure -- Improving WPM2 for (Weighted) Partial MaxSAT -- MinSAT versus MaxSAT for Optimization Problems...”
View full text

Electronic eBook

Narrow Search