Canlyniadau Chwilio - enumerating constraint programming programming analysis a

1

Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... -- Constrained Clustering Using Column Generation -- A Constraint Programming-Based Column Generation Approach...”
Cael y testun llawn

Electronig eLyfr

2

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Constraint Using Linear Programming -- Sweeping with Continuous Domains -- A New Hybrid Tractable Class...”
Cael y testun llawn

Electronig eLyfr

3

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”
Cael y testun llawn

Electronig eLyfr

4

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- Enumeration of the Monomials of a Polynomial and Related Complexity Classes -- Faster Approximation Schemes...”
Cael y testun llawn

Electronig eLyfr

5

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Scheduling Analysis of Game-Theoretic Models of Norm Diffusion -- A Simple P-Matrix Linear Complementarity...”
Cael y testun llawn

Electronig eLyfr

6

Frontiers in Algorithmics Second International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- Visiting a Polygon on the Optimal Way to a Query Point -- Constraint Abstraction in Verification...”
Cael y testun llawn

Electronig eLyfr

7

Combinatorial Optimization and Applications Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- Automatic Generation of Symmetry-Breaking Constraints -- On the Stable Set Polytope of Claw-Free Graphs -- A...”
Cael y testun llawn

Electronig eLyfr

8

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... View Maintenance Under a Response-Time Constraint -- Online Primal-Dual Algorithms for Covering...”
Cael y testun llawn

Electronig eLyfr

9

Computing and Combinatorics 14th International Conference, COCOON 2008 Dalian, China, June 27-29, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Frequency Computations with Three Errors -- A Sublinear Time Randomized Algorithm for Coset Enumeration...”
Cael y testun llawn

Electronig eLyfr

10

Algorithms and Complexity 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Invited Talks -- Towards a Distributed Search Engine -- Mechanisms for the Marriage...”
Cael y testun llawn

Electronig eLyfr

11

Algorithms in Bioinformatics 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... by Integer Linear Programming -- An Efficient Lagrangian Relaxation for the Contact Map Overlap Problem -- A...”
Cael y testun llawn

Electronig eLyfr

12

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification -- Scenario...”
Cael y testun llawn

Electronig eLyfr

13

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
Cael y testun llawn

Electronig eLyfr

14

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Proofs: Why Do It? and What Is It Like to Do? -- Linear Programs for the Kepler Conjecture -- A Formal...”
Cael y testun llawn

Electronig eLyfr

15

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Graphs -- Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema -- Theorema 2.0: A System...”
Cael y testun llawn

Electronig eLyfr

16

Algorithms - ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “...: Design and Analysis Track -- Kinetic Collision Detection for Convex Fat Objects -- Dynamic Connectivity...”
Cael y testun llawn

Electronig eLyfr

17

Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling /

gan Liu, Jiming., Liu, Jiming., Jin, XiaoLong., Tsui, Kwok Ching.
Cyhoeddwyd 2005

Tabl Cynhwysion: “...Fundamentals -- From Autonomy to AOC -- AOC at a Glance -- Design and Engineering Issues -- A...”
Cael y testun llawn

Electronig eLyfr

18

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... in Holographic Algorithms -- Session 8A -- Randomly Rounding Rationals with Cardinality Constraints...”
Cael y testun llawn

Electronig eLyfr

19

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Result -- Incremental Branching Programs -- Logic of Proofs for Bounded Arithmetic -- On a Maximal NFA...”
Cael y testun llawn

Electronig eLyfr

20

Experimental Algorithms 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013, Proceedings /

Cyhoeddwyd 2013

Tabl Cynhwysion: “....- Quadratic Outer Approximation for Convex Integer Programming with Box Constraints -- Separable Non-convex...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad