|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13289 occurrences of 5329 keywords
|
|
|
Results
Found 33126 publication records. Showing 33126 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
25 | Andreas Podelski (eds.) |
Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming ![Springer, 3-540-59155-9 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Manfred Meyer (eds.) |
Constraint Processing, Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Processing, Selected Papers ![Springer, 3-540-59479-5 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | M. Anton Ertl, Andreas Krall |
High-Level Constraints over Finite Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Processing, Selected Papers ![In: Constraint Processing, Selected Papers, pp. 51-66, 1995, Springer, 3-540-59479-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco |
Semmantic Properties of CHIP (FD). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Processing, Selected Papers ![In: Constraint Processing, Selected Papers, pp. 225-245, 1995, Springer, 3-540-59479-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Richard J. Wallace |
Directed Arc Consistency Preprocessing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Processing, Selected Papers ![In: Constraint Processing, Selected Papers, pp. 121-137, 1995, Springer, 3-540-59479-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Dan R. Vlasie |
Combining Hill Climbing and Forward Checking for Handling Disjunctive Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Processing, Selected Papers ![In: Constraint Processing, Selected Papers, pp. 247-265, 1995, Springer, 3-540-59479-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Eugene C. Freuder |
The Many Paths to Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Processing, Selected Papers ![In: Constraint Processing, Selected Papers, pp. 103-119, 1995, Springer, 3-540-59479-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Andreas Podelski, Peter Van Roy |
A Detailed Algorithm Testing Guards over Feature Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Processing, Selected Papers ![In: Constraint Processing, Selected Papers, pp. 11-38, 1995, Springer, 3-540-59479-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Jérôme Gensel |
Integrating Constraints in an Object-Based Knowledge Representation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Processing, Selected Papers ![In: Constraint Processing, Selected Papers, pp. 67-83, 1995, Springer, 3-540-59479-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Patrice Boizumault, Yan Delon, Laurent Péridy |
A CLP Approach for Examination Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Processing, Selected Papers ![In: Constraint Processing, Selected Papers, pp. 85-101, 1995, Springer, 3-540-59479-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Christian Bessière, Jean-Charles Régin |
Using Bidirectionality to Speed up Arc-Constistency Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Processing, Selected Papers ![In: Constraint Processing, Selected Papers, pp. 157-169, 1995, Springer, 3-540-59479-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Patrick Prosser |
Forward Checking with Backmarking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Processing, Selected Papers ![In: Constraint Processing, Selected Papers, pp. 185-204, 1995, Springer, 3-540-59479-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Olivier Ridoux |
Imagining CLP(A, equiv alpha beta) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming ![In: Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers, pp. 209-230, 1994, Springer, 3-540-59155-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Alexander Bockmayr |
Solving Pseudo-Boolean Constraints ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming ![In: Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers, pp. 22-38, 1994, Springer, 3-540-59155-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | François Fages |
Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming ![In: Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers, pp. 68-89, 1994, Springer, 3-540-59155-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Baudouin Le Charlier |
Abstract Interpretation and Finite Domain Symbolic Constraints ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming ![In: Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers, pp. 147-170, 1994, Springer, 3-540-59155-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Hélène Kirchner |
On the Use of Constraints in Automated Deduction ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming ![In: Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers, pp. 128-146, 1994, Springer, 3-540-59155-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Gert Smolka |
The Definition of Kernel Oz ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming ![In: Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers, pp. 251-292, 1994, Springer, 3-540-59155-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Christian Schulte 0001, Gert Smolka (eds.) |
Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent Constraint Programming ![The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
25 | Hassan Aït-Kaci, Andreas Podelski, Peter Van Roy |
An Informal Introduction to LIFE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent Constraint Programming ![In: Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
25 | Torbjörn Keisu |
Herbrand Constraints (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent Constraint Programming ![In: Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
25 | Andreas Podelski, Peter Van Roy |
The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent Constraint Programming ![In: Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
25 | Remco Moolenaar, Bart Demoen |
Optimization Techniques for Nondeterministic Promotion in the Andorra Kernel Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent Constraint Programming ![In: Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
25 | Dan Sahlin, Thomas Sjöland |
Towards Abstract Interpretation of AKL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent Constraint Programming ![In: Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
25 | Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein |
Order-Sorted Feature Theory Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent Constraint Programming ![In: Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
25 | Brian H. Mayoh, Enn Tyugu, Tarmo Uustalu |
Constraint Satisfaction and Constraint Programming: A Brief Lead-In. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NATO ASI CP ![In: Constraint Programming, Proceedings of the NATO Advanced Study Institute on Constraint Programming, Parnu, Estonia, August 13-24, 1993., pp. 1-16, 1993, Springer, 978-3-642-85985-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Magnus Ågren 0002, Pierre Flener, Justin Pearson |
Generic Incremental Algorithms for Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 12(3), pp. 293-324, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Monadic existential second-order logic, Local search, Global constraint |
25 | Cormac Flanagan, Matthias Felleisen |
Componential Set-Based Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 21(2), pp. 370-416, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
soft typing, program analysis, scheme, static debugging, constraint-based analysis |
25 | Carlos Castro |
COLETTE, Prototyping CSP Solvers Using a Rule-Based Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings, pp. 107-119, 1998, Springer, 3-540-64960-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Constraint Satisfaction Problems, Rewriting Logic |
25 | Alessandro Zanarini, Gilles Pesant |
Solution counting algorithms for constraint-centered search heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 14(3), pp. 392-413, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Solution counting, Regular constraint, Alldifferent constraint, Heuristic search |
25 | Sambuddha Bhattacharya, Shabbir H. Batterywala, Subramanian Rajagopalan, Hi-Keung Tony Ma, Narendra V. Shenoy |
On Efficient and Robust Constraint Generation for Practical Layout Legalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 9th International Symposium on Quality of Electronic Design (ISQED 2008), 17-19 March 2008, San Jose, CA, USA, pp. 379-384, 2008, IEEE Computer Society, 978-0-7695-3117-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Layout legalization, constraint reduction, compaction, constraint generation |
25 | Jiayi Liu, Sheqin Dong, Yuchun Ma, Di Long, Xianlong Hong |
Thermal-driven Symmetry Constraint for Analog Layout with CBL Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007, pp. 191-196, 2007, IEEE Computer Society, 1-4244-0629-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
thermal-optimal placement, thermal-driven symmetry constraint, analog layout, thermal constraint, hot-spot effect, temperature gradient, symmetrical devices, placement process, geometric symmetry, corner block list, thermal model |
25 | Sylvain Piechowiak, Joaquin Rodriguez |
The Localization and Correction of Errors in Models: A Constraint-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 23(3), pp. 153-164, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
debugging constraint networks, model-based reasoning, constraint reasoning |
25 | Zhengdao Xu, Hans-Arno Jacobsen |
Efficient constraint processing for location-aware computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile Data Management ![In: 6th International Conference on Mobile Data Management (MDM 2005), Ayia Napa, Cyprus, May 9-13, 2005, pp. 3-12, 2005, ACM, 1-59593-041-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
constraint processing, location constraint, space-partitioning k-d-tree, location-based service, cost model |
25 | Oliver Kullmann |
Upper and Lower Bounds on the Complexity of Generalised Resolution and Generalised Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 40(3-4), pp. 303-352, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
satisfiability problem (SAT), systems with partial instantiation, generalised resolution, lower bounds for resolution, upper bounds for SAT algorithms, automatisation of proof systems, generalised input resolution, generalised width restricted resolution, induced width of constraint satisfaction problems, constraint satisfaction problems, propositional logic, polynomial time hierarchies |
25 | Chunhong Cao, Yinan Lu, Wenhui Li 0002 |
The Research of Geometric Constraint Soving Based on the Path Tracking Homotopy Iteration Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Information Processing ![In: Intelligent Information Processing II, IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP 2004), October 21-23, 2004, Beijing, China, pp. 83-92, 2004, Springer, 0-387-23151-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
under-constraint, homotopy iteration method, Geometric constraint solving, path tracking |
25 | Peter J. Stuckey, Vincent W. L. Tam |
Extending EGENET with Lazy Constraint Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997, pp. 248-, 1997, IEEE Computer Society, 0-8186-8203-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
extended EGENET, lazy constraint consistency, neural network simulator, min-conflict heuristic, hard graph-colouring problems, complete search methods, stochastic search methods, convergence behaviour, scheduling, planning (artificial intelligence), planning, constraint satisfaction problems, bin-packing, arc consistency, search behaviour |
25 | Silvia Regina Vergilio, José Carlos Maldonado, Mário Jino |
Constraint Based Selection of Test Sets to Satisfy Structural Software Testing Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: Proceedings of 17th International Conference of the Chilean Computer Science Society (SCCC '97), November 12-14, 1997, Valpariso, Chile, pp. 256-263, 1997, IEEE Computer Society, 0-8186-8052-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
constraint based selection, structural software testing criteria, Constraint Based Criteria, distinct fundamentals, test data generation strategies, test data set adequacy, program testing |
25 | J.-L. Sune, Veronique Rebuffel, R. Samy |
Depth-from-motion estimation based on a multiscale analysis of motion constraint equation validity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 402-405, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
depth from motion estimation, motion constraint equation, rigid scene, brightness change constraint equation, depth value, statistical framework, performance evaluation, motion estimation, image sequences, image sequence, statistical analysis, image resolution, image resolution, pixels, multiscale analysis, real images, camera motion, confidence measure, temporal information, synthetic images, brightness, local analysis |
25 | Robert P. Futrelle, Nikos Nikolakis |
Efficient analysis of complex diagrams using constraint-based parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 782-790, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
complex diagrams, constraint-based parsing, constraint grammars, graphics primitives, vectorized diagrams, genetic diagrams, finite state automata diagrams, Macintosh Common Lisp, Macintosh Quadra 700, finite automata, polygons, lines, spatial indexing, electronic documents, circles, Bezier curves |
25 | Albert Mo Kim Cheng, James C. Browne, Aloysius K. Mok, Rwo-Hsi Wang |
Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(9), pp. 863-885, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
real-time rule-based systems, behavioral constraint assertions, Estella, knowledge-decision processing, human expertise, monitor-respond cycle, bounded response time, rule-based programmer, application-specific knowledge, real-time systems, formal specification, knowledge representation, expert systems, constraint handling, rule-based expert systems |
24 | Mark S. Boddy, Daniel P. Johnson |
A New Method for the Global Solution of Large Systems of Continuous Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![In: Global Optimization and Constraint Satisfaction, First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers, pp. 142-156, 2002, Springer, 3-540-20463-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Jorge Cruz 0001, Pedro Barahona |
Maintaining Global Hull Consistency with Local Search for Continuous CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOS ![In: Global Optimization and Constraint Satisfaction, First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers, pp. 178-193, 2002, Springer, 3-540-20463-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige |
Challenges in Constraint-Based Analysis of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers, pp. 51-65, 2008, Springer, 978-3-642-03250-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
mixed Boolean and arithmetic constraints, stochastic SMT, parallel solver, differential equations, Craig interpolation |
24 | Joos Heintz, Bart Kuijpers |
Constraint Databases, Data Structures and Efficient Query Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDB ![In: Constraint Databases, Proceedings of the 1st International Symposium on Applications of Constraint Databases, CDB'04, Paris, France, June 12-13, 2004, pp. 1-24, 2004, Springer. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Toshihiro Matsui, Marius-Calin Silaghi, Katsutoshi Hirayama, Makoto Yokoo, Hiroshi Matsuo |
Directed soft arc consistency in pseudo trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 1065-1072, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
distributed constraint optimization problem, soft arc consistency, multi-agent systems, constraint reasoning |
24 | Christian Schulte 0001, Peter J. Stuckey |
Dynamic variable elimination during propagation solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain, pp. 247-257, 2008, ACM, 978-1-60558-117-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
constraint (logic) programming, analysis, redundancy, constraint propagation |
24 | Chouki Tibermacine, Régis Fleurquin, Salah Sadou |
Simplifying transformation of software architecture constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1240-1244, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
architecture constraint languages, constraint transformation, OCL, component-based software development |
24 | Markus Schneider 0001, Thomas Behr |
Topological Relationships Between Complex Lines and Complex Regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2005, 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings, pp. 483-496, 2005, Springer, 3-540-29389-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
topological constraint rule, proof-by-constraint-and-drawing, complex spatial data type, 9-intersection model, Topological predicate |
24 | Nikos Samaras, Kostas Stergiou 0001 |
Arc Consistency in Binary Encodings of Non-binary CSPs: Theoretical and Experimental Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Methods and Applications of Artificial Intelligence, Third Helenic Conference on AI, SETN 2004, Samos, Greece, May 5-8, 2004, Proceedings, pp. 352-361, 2004, Springer, 3-540-21937-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Search, Constraint Satisfaction, Constraint Programming |
24 | John N. Hooker, Hak-Jin Kim, Greger Ottosson |
A Declarative Modeling Framework that Integrates Solution Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 104(1-4), pp. 141-161, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
linear programming, constraint programming, nonlinear programming, mathematical programming, modeling language, constraint propagation, optimization method |
24 | Roswitha Bardohl, Magnus Niemann, Manuel Schwarze |
GenGEd: A Development Environment for Visual Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, International Workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999, Proceedings, pp. 233-240, 1999, Springer, 3-540-67658-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
algebraic graph transformation, rule- and constraint-based editor, visual language, constraint solving |
24 | Jianzhong Shi, Akash Randhar, Dinesh Bhatia |
Macro Block Based FPGA Floorplanning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 10th International Conference on VLSI Design (VLSI Design 1997), 4-7 January 1997, Hyderabad, India, pp. 21-26, 1997, IEEE Computer Society, 0-8186-7755-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
macro block based FPGA floorplanning, FPGA based designs, very large designs, performance driven designs, constraint-based FPGA floorplanning, flexible macro blocks, fixed macro blocks, input constraint set, topological placement, FPGA architectural constraints, large benchmark examples, VLSI floorplanning, heuristic algorithm, integrated circuit layout, ASIC design |
24 | Venkataraman Ramesh, Sudha Ram |
A methodology for interschema relationship identification in heterogeneous databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 263-272, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
interschema relationship identification, data access techniques, federated schemas, schematic knowledge, integrity constraint knowledge, constraint-based relationships, schematic relationships, interoperability, heuristics, data integrity, distributed databases, database theory, information sharing, open systems, heterogeneous databases, schema integration |
24 | Xiaofei Huang, Jun Gu, Youshou Wu |
A Constrained Approach to Multifont Chinese Character Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(8), pp. 838-843, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
connection constraints, sampling points, multifont Chinese character recognition, constraint graph, character skeleton, position constraints, constraint-based optimization, cooperative relaxation matching algorithm, graph theory, optimisation, OCR, topology, character recognition, geometrical invariance, topological invariance |
24 | M. Ali Taalebinezhaad |
Direct Recovery of Motion and Shape in the General Case by Fixation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(8), pp. 847-853, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
temporal brightness gradients, linear constraint equation, rotational velocity, translational velocity, brightness-change constraint equation, image brightness, spatial brightness gradients, pattern recognition, computer vision, tracking, tracking, shape recovery, fixation, brightness, motion recovery, motion vision |
24 | Julien Menana, Sophie Demassey |
Sequencing and Counting with the multicost-regular Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings, pp. 178-192, 2009, Springer, 978-3-642-01928-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon |
Constraint-Based Graph Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, pp. 274-288, 2009, Springer, 978-3-642-04243-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Gilles Chabert, Luc Jaulin, Xavier Lorca |
A Constraint on the Number of Distinct Vectors with Application to Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, pp. 196-210, 2009, Springer, 978-3-642-04243-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Jean-Charles Régin |
Simpler and Incremental Consistency Checking and Arc Consistency Filtering Algorithms for the Weighted Spanning Tree Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Paris, France, May 20-23, 2008, Proceedings, pp. 233-247, 2008, Springer, 978-3-540-68154-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Roberto Rossi 0002, Armagan Tarim, Brahim Hnich, Steven D. Prestwich |
Cost-Based Domain Filtering for Stochastic Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings, pp. 235-250, 2008, Springer, 978-3-540-85957-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Emmanuel Hebrard, Barry O'Sullivan, Igor Razgon |
A Soft Constraint of Equality: Complexity and Approximability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings, pp. 358-371, 2008, Springer, 978-3-540-85957-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Daria Terekhov, J. Christopher Beck |
Solving a Stochastic Queueing Control Problem with Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings, pp. 303-317, 2007, Springer, 978-3-540-72396-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Marie-Claude Côté, Bernard Gendron, Louis-Martin Rousseau |
Modeling the Regular Constraint with Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings, pp. 29-43, 2007, Springer, 978-3-540-72396-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Laurent Michel, Andrew See, Pascal Van Hentenryck |
Parallelizing Constraint Programs Transparently. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, pp. 514-528, 2007, Springer, 978-3-540-74969-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé |
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, pp. 241-255, 2007, Springer, 978-3-540-74969-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Igor Razgon, Barry O'Sullivan, Gregory M. Provan |
Generalizing Global Constraints Based on Network Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007, Revised Selected Papers, pp. 127-141, 2007, Springer, 978-3-540-89811-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh |
The Range Constraint: Algorithms and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings, pp. 59-73, 2006, Springer, 3-540-34306-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Robert Mateescu, Rina Dechter |
Compiling Constraint Networks into AND/OR Multi-valued Decision Diagrams (AOMDDs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings, pp. 329-343, 2006, Springer, 3-540-46267-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Chavalit Likitvivatanavong, Roland H. C. Yap |
Extracting Microstructure in Binary Constraint Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers, pp. 124-138, 2006, Springer, 978-3-540-73816-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith |
Symmetry Definitions for Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 17-31, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Hadrien Cambazard, Narendra Jussien |
Integrating Benders Decomposition Within Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 752-756, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Emmanuel Coquery, François Fages |
A Type System for CHR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers, pp. 100-117, 2005, Springer, 3-540-34215-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Jano I. van Hemert, Christine Solnon |
A Study into Ant Colony Optimisation, Evolutionary Computation and Constraint Programming on Binary Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoCOP ![In: Evolutionary Computation in Combinatorial Optimization, 4th European Conference, EvoCOP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings, pp. 114-123, 2004, Springer, 3-540-21367-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Waldemar Kocjan, Per Kreuger |
Filtering Methods for Symmetric Cardinality Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings, pp. 200-208, 2004, Springer, 3-540-21836-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Emmanuel Hebrard, Brahim Hnich, Toby Walsh |
Super Solutions in Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings, pp. 157-172, 2004, Springer, 3-540-21836-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Christine Wei Wu |
Modelling Chemical Reactions Using Constraint Programming and Molecular Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 808, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Lars Hellsten, Gilles Pesant, Peter van Beek |
A Domain Consistency Algorithm for the Stretch Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 290-304, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Paul Shaw |
A Constraint for Bin Packing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 648-662, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey |
Box Constraint Collections for Adhoc Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 214-228, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Hans Schlenker |
Distributed Constraint-Based Railway Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 995, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Christian Bessière, Pascal Van Hentenryck |
To Be or Not to Be ... a Global Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 789-794, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Claude-Guy Quimper, Peter van Beek, Alejandro López-Ortiz, Alexander Golynski, Sayyed Bashir Sadjad |
An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 600-614, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Jakob Mauss, Frank Seelisch, Mugur M. Tatar |
A Relational Constraint Solver for Model-Based Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings, pp. 696-701, 2002, Springer, 3-540-44120-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Laurent Granvilliers, Éric Monfroy |
Composition Operators for Constraint Propagation: An Application to Choco. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 600-604, 2001, Springer, 3-540-42863-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Rafael M. Gasca, Juan Antonio Ortega 0001, Miguel Toro |
Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 595-599, 2001, Springer, 3-540-42863-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Vineet Gupta 0001, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer |
A Constraint-Based Framework for Prototyping Distributed Virtual Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, pp. 202-217, 2000, Springer, 3-540-41053-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Stefano Bistarelli, Rosella Gennari, Francesca Rossi 0001 |
Constraint Propagation for Soft Constraints: Generalization and Termination Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, pp. 83-97, 2000, Springer, 3-540-41053-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Katsutoshi Hirayama, Makoto Yokoo, Katia P. Sycara |
The Phase Transition in Distributed Constraint Satisfaction Problems: Fist Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, pp. 515-519, 2000, Springer, 3-540-41053-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Vincent Schächter |
Linear Concurrent Constraint Programming over Reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings, pp. 400-416, 1998, Springer, 3-540-65224-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Slim Abdennadher, Thom W. Frühwirth |
On Completion of Constraint Handling Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings, pp. 25-39, 1998, Springer, 3-540-65224-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | András Prékopa |
Static Stochastic Programming Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3708-3710, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Stochastic programming problem, Underlying deterministic problem, Probabilistic constraint, Individual probabilistic constraints, Joint probabilistic constraint, Programming under probabilistic constraint, Recourse model, Hybrid model |
23 | Dhananjay R. Thiruvady, Christian Blum 0001, Bernd Meyer 0001, Andreas T. Ernst |
Hybridizing Beam-ACO with Constraint Programming for Single Machine Job Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hybrid Metaheuristics ![In: Hybrid Metaheuristics, 6th International Workshop, HM 2009, Udine, Italy, October 16-17, 2009. Proceedings, pp. 30-44, 2009, Springer, 978-3-642-04917-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä |
A Module-Based Framework for Multi-language Constraint Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings, pp. 155-168, 2009, Springer, 978-3-642-04237-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Pascal Van Hentenryck |
Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMO ![In: Evolutionary Multi-Criterion Optimization, 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings, pp. 3, 2009, Springer, 978-3-642-01019-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivný |
Same-Relation Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, pp. 470-485, 2009, Springer, 978-3-642-04243-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Deepak Mehta 0001, Barry O'Sullivan, Luis Quesada 0001, Nic Wilson |
Search Space Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, pp. 608-622, 2009, Springer, 978-3-642-04243-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh |
Restricted Global Grammar Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, pp. 501-508, 2009, Springer, 978-3-642-04243-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Sara NavidPour, Mohammad Izadi, Ali Movaghar 0001 |
Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 211-218, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Manuel Bodirsky, Hubie Chen, Jan Kára, Timo von Oertzen |
Maximal Infinite-Valued Constraint Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings, pp. 546-557, 2007, Springer, 978-3-540-73419-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 33126 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|