The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Constraint with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1959-1968 (15) 1969-1972 (15) 1973-1976 (18) 1977-1978 (16) 1979-1980 (17) 1981-1982 (22) 1983-1984 (28) 1985 (32) 1986 (46) 1987 (50) 1988 (93) 1989 (122) 1990 (172) 1991 (211) 1992 (238) 1993 (344) 1994 (375) 1995 (456) 1996 (443) 1997 (536) 1998 (515) 1999 (616) 2000 (797) 2001 (848) 2002 (985) 2003 (1073) 2004 (1539) 2005 (1754) 2006 (1850) 2007 (1933) 2008 (2139) 2009 (1551) 2010 (934) 2011 (777) 2012 (862) 2013 (885) 2014 (903) 2015 (863) 2016 (958) 2017 (991) 2018 (1036) 2019 (1052) 2020 (1172) 2021 (1166) 2022 (1151) 2023 (1237) 2024 (290)
Publication types (Num. hits)
article(12077) book(52) data(5) incollection(386) inproceedings(20027) phdthesis(476) proceedings(103)
Venues (Conferences, Journals, ...)
CP(1839) CoRR(1695) CPAIOR(635) Constraints An Int. J.(256) IEEE Access(255) AAAI(229) IJCAI(193) ICRA(182) ICLP(174) IEEE Trans. Inf. Theory(170) ICTAI(169) SAC(161) IEEE Trans. Signal Process.(154) IROS(152) IEEE Trans. Comput. Aided Des....(150) CDC(148) More (+10 of total 4245)
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
76Patrick Prosser, Evgeny Selensky A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
65Hans Schlenker, Georg Ringwelski POOC: A Platform for Object-Oriented Constraint Programming. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
65Peter Zoeteweij A Coordination-Based Framework for Distributed Constraint Solving. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
62Alan M. Frisch, Ian Miguel, Toby Walsh CGRASS: A System for Transforming Constraint Satisfaction Problems. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
62Annalisa Di Deo, Dmitri Boulanger A Formal Background to Build Constraint Objects. Search on Bibsonomy IDEAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF constraint objects, first-order formula, database tuples, database objects, basic data types, constraint data model, spatial tools, Oracle 8, constraint programming, first-order logic, expressiveness, duality, constraint handling, spatial relations, data representation, linear constraints, relational data model, declarativeness, object-relational DBMS, constraint databases, cylindrical algebras, relational tables, free variables
59Konstantin Artiouchine, Philippe Baptiste Inter-distance Constraint: An Extension of the All-Different Constraint for Scheduling Equal Length Jobs. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Scheduling, Constraint Propagation, Global Constraint
59Sebastian Brand A Note on Redundant Rules in Rule-Based Constraint Programming. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
58Laurent Perrussel, Pierre-Jean Charrel Inconsistent Requirements: An Argumentation View. Search on Bibsonomy ICTAI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF > Collaborative Software Agents, Search, Distributed AI, Distributed Constraint Satisfaction
56Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001 Abstract Verification and Debugging of Constraint Logic Programs. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
56James Bowen Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
56Stefano Bistarelli, Boi Faltings, Nicoleta Neagu Interchangeability in Soft CSPs. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
56Steven D. Prestwich A Local Search Algorithm for Balanced Incomplete Block Designs. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
56Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou Towards Automated Reasoning on the Properties of Numerical Constraints. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
56Marc R. C. van Dongen Domain-Heuristics for Arc-Consistency Algorithms. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
55Meinolf Sellmann An Arc-Consistency Algorithm for the Minimum Weight All Different Constraint. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF all different constraint, minimum weight all different constraint, MinWeightAllDiff, IlcAllDiffCost, optimization constraint, cost based filtering
53J. C. Tay, S. Y. Huang, Hiok Chai Quek CSL (Part I): Modelling General N-ary, Logical CSPs. Search on Bibsonomy ICTAI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF constraint specification language, CSL, user-defined constraints, N-ary logical constraint satisfaction problems, constraint logic programming languages, expressive algebra, extended versions, transparent access, data structures, constraint programming, unification, syntax, logic programming languages, numerical constraints
53Meera Sitharam, Adam Arbree, Yong Zhou 0002, Naganandhini Kohareswaran Solution space navigation for geometric constraint systems. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Root selection for geometric constraint systems, constraint graphs, cyclical and 3D geometric constraint systems, decomposition of geometric constraint systems, degree of freedom analysis, feature-based and assembly modeling, underconstrained and overconstrained systems, variational geometric constraint solving, well constrained systems, conceptual design
53Eugene C. Freuder, Chavalit Likitvivatanavong, Manuela Moretti, Francesca Rossi 0001, Richard J. Wallace Computing Explanations and Implications in Preference-Based Configurators. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
53Inês Lynce, João Marques-Silva 0001 The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
50Barry O'Sullivan (eds.) Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
50Roman Barták Visopt ShopFloor: Going Beyond Traditional Scheduling. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
48Aloysius K. Mok, Guangtian Liu Early detection of timing constraint violation at runtime. Search on Bibsonomy RTSS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF timing constraint violation detection, timing constraint compliance, conditional guarantees, satisfiability checking algorithm, timing constraint monitoring, time terms, timing constraint specification, real-time systems, real time applications
48Gopal Gupta 0001, Enrico Pontelli A constraint-based approach for specification and verification of real-time systems. Search on Bibsonomy RTSS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF constraint based approach, real time systems specification, real time systems verification, general constraint logic programming, real time event ordering, grammar productions, Definite Clause Grammar, CLP program, DCG, timed push down automata, real-time systems, timed automata, constraint logic program, constraint automata
46Peter van Beek, Rina Dechter On the Minimality and Decomposability of Row-Convex Constraint Networks. Search on Bibsonomy J. ACM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF row convexity, constraint satisfaction problems, relations, constraint networks, constraint-based reasoning, path consistency, consecutive ones property
46Stuart Kent 0001, John Howse Constraint Trees. Search on Bibsonomy Object Modeling with the OCL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
46Kazunori Mizuno, Seiichi Nishihara Local minimum structures of graph-coloring problems for stochastic constraint satisfaction algorithms. Search on Bibsonomy ICTAI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF local minimum structures, stochastic constraint satisfaction, stochastic search algorithms, large-scale constraint satisfaction problems, locally minimal solutions, local constraint structures, LM pair, stochastic programming, operations research, graph colouring, hill-climbing, stepwise refinement, local minima, constraint theory, graph-coloring problems, graph-coloring problem
44Laurent D. Michel Parallelizing constraint programs. Search on Bibsonomy DAMP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF constraint-based local search, parallel programming, constraint programming
44Bahman Pourvatan, Nima Rouhy An Alternative Algorithm for Constraint Automata Product. Search on Bibsonomy FSEN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Constraint Automata Product, Reo, Constraint Automata
44Peter van Beek, Rina Dechter Constraint tightness and looseness versus local and global consistency. Search on Bibsonomy J. ACM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF constraint satisfaction problems, relations, local consistency, constraint networks, constraint-based reasoning
43Francesco Bonchi, Fosca Giannotti, Dino Pedreschi A Relational Query Primitive for Constraint-Based Pattern Mining. Search on Bibsonomy Constraint-Based Mining and Inductive Databases The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
43Nada Lavrac, Dragan Gamberger Relevancy in Constraint-Based Subgroup Discovery. Search on Bibsonomy Constraint-Based Mining and Inductive Databases The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Albrecht Zimmermann, Luc De Raedt Inductive Querying for Discovering Subgroups and Clusters. Search on Bibsonomy Constraint-Based Mining and Inductive Databases The full citation details ... 2004 DBLP  DOI  BibTeX  RDF correlated pattern mining, inductive querying, clustering, subgroup discovery, constraint-based mining
41Armagan Tarim, Suresh Manandhar, Toby Walsh Stochastic Constraint Programming: A Scenario-Based Approach. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Constraint satisfaction, Constraint programming, Reasoning under uncertainty
41Hans W. Guesgen, Anne Philpott Heuristics for Solving Fuzzy Constraint Satisfaction Problems. Search on Bibsonomy ANNES The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Constraint satisfaction, heuristic search, fuzzy set theory, constraint relaxation
41David Lesaint Inferring Constraint Types in Constraint Programming. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
41Hon Wai Chun A methodology for object-oriented constraint programming. Search on Bibsonomy APSEC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF object-oriented constraint programming methodology, orthogonal programming paradigms, complementary programming paradigms, logic constraint programming, constrained variables, nurse rostering system, object-oriented programming, object-oriented programming, object-oriented design, object-oriented analysis, constraint-based model
41Roman Barták, Daniel Toropila Constraint Models for Sequential Planning. Search on Bibsonomy CPAIOR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
41Joxan Jaffar, Roland H. C. Yap Open Constraint Programming. Search on Bibsonomy CP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
40Ulrich John Solving Large Configuration Problems Efficiently by Clustering the ConBaCon Model. Search on Bibsonomy IEA/AIE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Constraint-based Configuration, Industrial Expert Systems, Constraint Programming, Constraint-based Modeling
40Matthew S. Harelick, Thomas J. Marlowe, Alexander D. Stoyenko, Purnendu Sinha A constraint function classification for complex systems development. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF knowledge verification, constraint function classification, constraint syntax, constraint management, implied constraints, distributed system, real-time systems, resource allocation, data integrity, distributed processing, knowledge based systems, requirements, systems analysis, consistency checking, large-scale systems, constraint handling, software modules, rule-based approach, resource allocation problem, REAL project, complex systems development
40Armin Wolf Projection in Adaptive Constraint Handling. Search on Bibsonomy New Trends in Constraints The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
39Nicolas Beldiceanu, Pierre Flener, Xavier Lorca Combining Tree Partitioning, Precedence, and Incomparability Constraints. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Digraph partitioning, Tree constraint, Incomparability constraint, Ordered disjoint paths problem, Phylogenetic supertree problem, Filtering, Tree, Global constraint, Precedence constraint, Hamiltonian path problem
38Jean-Charles Régin, Carla P. Gomes The Cardinality Matrix Constraint. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Peter J. Stuckey, Vincent W. L. Tam Models for Using Stochastic Constraint Solvers in Constraint Logic Programming. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
37Helmut Simonis, Abderrahmane Aggoun, Nicolas Beldiceanu, Eric Bourreau Complex Constraint Abstraction: Global Constraint Visualisation. Search on Bibsonomy Analysis and Visualization Tools for Constraint Programming The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
37Eugene C. Freuder Using Metalevel Constraint Knowledge to Reduce Constraint Checking. Search on Bibsonomy Constraint Processing, Selected Papers The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
37Gert Smolka A Survey of Oz - A Higher-order Concurrent Constraint Language. (Long Version: Gert Smolka, Martin Henz, Jörg Würtz: Object-Oriented Concurrent Constraint Programming in Oz. DFKI Research Report RR-93-16) Search on Bibsonomy ICLP Workshop on Concurrent Constraint Programming The full citation details ... 1993 DBLP  BibTeX  RDF
37Thom W. Frühwirth Welcome to Constraint Handling Rules. Search on Bibsonomy Constraint Handling Rules The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Saso Dzeroski, Ljupco Todorovski, Peter Ljubic Inductive Queries on Polynomial Equations. Search on Bibsonomy Constraint-Based Mining and Inductive Databases The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Nuno Vasconcelos, Andrew Lippman Spatiotemporal model-based optic flow estimation. Search on Bibsonomy ICIP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF spatiotemporal model based estimation, spatiotemporal model based algorithm, spatiotemporal motion model, quadratic constraint, affine constraint, space constraint, delayed decision process, classification, motion estimation, delays, interpolation, interpolation, data compression, image sequences, parameter estimation, video coding, video stream, image classification, time constraint, video compression, least squares approximations, correlation methods, temporal coherence, least squares fit, video frames, image correlation, optic flow estimation, interactive access
36Manuel Bodirsky, Jan Kára The Complexity of Equality Constraint Languages. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Clones on infinite domains, Computational complexity, Constraint satisfaction, Logic in computer science
36Trent Jaeger, Reiner Sailer, Xiaolan Zhang 0001 Resolving constraint conflicts. Search on Bibsonomy SACMAT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF access control models, constraint models, policy design
36Ingi Sobhi, Slim Abdennadher, Hariolf Betz Constructing Rule-Based Solvers for Intentionally-Defined Constraints. Search on Bibsonomy Constraint Handling Rules The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Kathryn Francis, Peter J. Stuckey Constraint propagation for loose constraint graphs. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF constraint graph, constraint propagation
36Javier Larrosa, Rina Dechter Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF bucket elimination, constraint satisfaction, branch and bound, soft constraints, constraint optimization
36Nicoleta Neagu Studying Interchangeability in Constraint Satisfaction Problems. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF soft constraint satisfaction problems, constraint satisfaction problem, interchangeability
36Malek Mouhoub Maintaining Global Consistency of Temporal Constraints in a Dynamic Environment. Search on Bibsonomy IEA/AIE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Constraint Satisfaction, Temporal Reasoning, Planning and Scheduling
36Zhengdao Xu, Hans-Arno Jacobsen Adaptive location constraint processing. Search on Bibsonomy SIGMOD Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF adaptive indexing, constraint matching, continuous location query, location constraint processing, location update policy, moving object indexing, standing query, location-based services, location query
36Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons 0001 The complexity of maximal constraint languages. Search on Bibsonomy STOC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF algebraic invariance property, constraint satisfaciton problem, relational clone, complexity, NP-completeness, tractability, constraint language
35Yong Gao 0001, Joseph C. Culberson Consistency and Random Constraint Satisfaction Models with a High Constraint Tightness. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Michael J. Maher A Synthesis of Constraint Satisfaction and Constraint Solving. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Nicolas Beldiceanu Pruning for the Minimum Constraint Family and for the Number of Distinct Values Constraint Family. Search on Bibsonomy CP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
35Ricardo Soto 0001, Laurent Granvilliers On the Pursuit of a Standard Language for Object-Oriented Constraint Modeling. Search on Bibsonomy New Challenges in Applied Intelligence Technologies The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Languages, Constraint Programming, Constraint Satisfaction Problems, Constraint Modeling
35R. Miller, Hal Carter, K. Davis, Satish Venkatesan Hardware/software cosynthesis: multiple constraint satisfaction and component retrieval. Search on Bibsonomy ICECCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF hardware software cosynthesis, multiple constraint satisfaction, high-level system specification, constraint-driven retrieval, candidate solution evaluation, cosynthesis tool, multiple design constraints, two constraint Fidducia-Matheyses approach, flexible component retrieval, design database, ad hoc querying, systems analysis, hardware description language, design space, component retrieval
35Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh The ROOTS Constraint. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Georg Ringwelski Integrating Search Objects in Asynchronous Constraint Solving. Search on Bibsonomy CP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Aloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij The MSP.RTL real-time scheduler synthesis tool. Search on Bibsonomy RTSS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF MSP RTL real time scheduler synthesis tool, scheduler synthesis algorithm, real time scheduling problem, temporal constraint satisfaction problem, temporal constraint graph, input timing specification, incremental positive cycle detection algorithm, real time scheduling theory, Boeing 777 Integrated Airplane Information Management System, AIMS, constraint satisfaction, processor scheduling, timing constraints, resource constraints, application domains, search strategies, cyclic schedules, feasible schedule, timing semantics, real time logic
34Henning Christiansen 0001 Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules. Search on Bibsonomy Constraint Handling Rules The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Daniel Kifer, Johannes Gehrke, Cristian Bucila, Walker M. White How to Quickly Find a Witness. Search on Bibsonomy Constraint-Based Mining and Inductive Databases The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Ruggero G. Pensa, Jérémy Besson, Céline Robardet, Jean-François Boulicaut Contribution to Gene Expression Data Analysis by Means of Set Pattern Mining. Search on Bibsonomy Constraint-Based Mining and Inductive Databases The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Konstantin Artiouchine, Philippe Baptiste Arc-B-consistency of the Inter-distance Constraint. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Inter-distance constraint, Arc-B-consistency, Edge-finding
34Peter Jonsson, Andrei A. Krokhin, Fredrik Kuivinen Ruling Out Polynomial-Time Approximation Schemes for Hard Constraint Satisfaction Problems. Search on Bibsonomy CSR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF maximum constraint satisfaction, complexity, approximability
34Manuel Bodirsky, Jan Kára The Complexity of Equality Constraint Languages. Search on Bibsonomy CSR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Clones on Infinite Domains, Computational Complexity, Constraint Satisfaction, Logic in Computer Science
34María Auxilio Osorio Lama, David Pinto 0001 A Preprocessing That Combines Heuristic and Surrogate Constraint Analysis to Fix Variables in TSP. Search on Bibsonomy MICAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF TSP problem, Surrogate Constraint Analysis, Preprocessing
34Miguel A. Salido, Federico Barber Exploiting the Constrainedness in Constraint Satisfaction Problems. Search on Bibsonomy AIMSA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF complexity, heuristic search, Constraint Satisfaction Problems
34Alan K. Mackworth, Ying Zhang A Formal Approach to Agent Design: An Overview of Constraint-Based Agents. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF constraint-based requirements, formal specification, artificial intelligence, automata, system verification, robot architectures, agent design
34Armin Wolf, Jacques Robin, Jairson Vitorino Adaptive CHR Meets CHRv: An Extended Refined Operational Semantics for CHRv Based on Justifications. Search on Bibsonomy Constraint Handling Rules The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Tobias Müller Promoting Constraints to First-Class Status. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF first-class constraints, early failure detection, simplification and garbage collection of constraints, minimal sets of inconsistent constraints, constraint programming
33Christian Schulte 0001, Peter J. Stuckey Efficient constraint propagation engines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Constraint (logic) programming, fixpoint reasoning, events, priorities, constraint propagation, finite domain constraints
33Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto 0001 Model-driven constraint programming. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF constraint modeling languages, model transformation, metamodeling, constraint programming
33Rajiv T. Maheswaran, Jonathan P. Pearce, Emma Bowring, Pradeep Varakantham, Milind Tambe Privacy Loss in Distributed Constraint Reasoning: A Quantitative Framework for Analysis and its Applications. Search on Bibsonomy Auton. Agents Multi Agent Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Distributed constraint reasoning, Privacy, Distributed constraint optimization
33Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda A lazy narrowing calculus for declarative constraint programming. Search on Bibsonomy PPDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF constraint logic programming, rewrite systems, narrowing, constraint solvers, functional logic programming languages
33Laurent Granvilliers, Mina Ouabiba Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques. Search on Bibsonomy AISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF redundant constraint, Interval arithmetic, local consistency, numerical constraint, symbolic algorithm
33Stefano Bistarelli, Thom W. Frühwirth, Michael Marte Soft constraint propagation and solving in CHRs. Search on Bibsonomy SAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF constraint reasoning algorithms, constraint programming
33Robert Joan-Arinyo, Antoni Soto-Riera, Sebastià Vila-Marta, Josep Vilaplana-Pasto Revisiting decomposition analysis of geometric constraint graphs. Search on Bibsonomy Symposium on Solid Modeling and Applications The full citation details ... 2002 DBLP  DOI  BibTeX  RDF graph-based constraint solving, constraint solving, geometric constraints
33Samir Loudni, Patrice Boizumault A New Hybrid Method for Solving Constraint Optimization Problems in Anytime Contexts. Search on Bibsonomy ICTAI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Anytime Problems, Local Search Methods, Constraint-Satisfaction, Hybrid Methods, Constraint-Optimization
33Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001 Semiring-based constraint satisfaction and optimization. Search on Bibsonomy J. ACM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF non-crisp constraint reasoning, dynamic programming, constraint solving, local consistency
33Mats Carlsson, Greger Ottosson, Björn Carlson An Open-Ended Finite Domain Constraint Solver. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Implementation of Constraint Systems, Indexicals, Constraint Programming, Global Constraints, Finite Domains
33François Fages, Julian Fowler, Thierry Sola Handling Preferences in Constraint Logic Programming with Relational Optimization. Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF hierarchical constraint logic programming, optimization, preference, constraint logic programming
33Sebastian Brand, Rosella Gennari, Maarten de Rijke Constraint Methods for Modal Satisfiability. Search on Bibsonomy CSCLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Khalil Djelloul Combination of decomposability and propagation for solving first-order constraints in decomposable theories. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF complete theory, first-order constraint satisfaction problems, first-order constraint solvers, first-order constraints, rewriting rules
32Shantanu Dutt, Halim Theny Partitioning around roadblocks: tackling constraints with intermediate relaxations. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF balance-ratio constraint, benefit estimation, blind relaxation, constraint-driven partitioning, estimate-driven relaxation, mincut partitioning, probabilistic gain, violating moves
32Massimo Paltrinieri A Visual Environment for Constraint Programming. Search on Bibsonomy VL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF object-oriented abstractions, classical constraint satisfaction problem model, complex real-world problems, data structures, object-oriented programming, programming environments, visual programming, constraint programming, abstract data types, constraint handling, visual environment
32Winfried Graf, Stefan Neurohr Constraint-Based Layout in Visual Program Design. Search on Bibsonomy VL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF visual program design, constraint-based layout, visual program layout, graphical editing tasks, InLay constraint-based graphical editor, animated chart diagram layout, presentation part abstraction, active display object focussing, graphical history editing, hierarchical information structure visualisation, multimedia, data structures, knowledge based systems, interaction techniques, programming environments, visual programming, computer animation, intelligent system, data visualisation, multimedia computing, program visualization, constraint handling, visual programming environments, dynamic displays, communication media
32Ian P. Gent, Christopher Jefferson, Ian Miguel Watched Literals for Constraint Propagation in Minion. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Armin Wolf Adaptive Constraint Handling with CHR in Java. Search on Bibsonomy CP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
32Young U. Ryu Approximate Constraint Satisfaction Over a Constraint Hierarchy: A Preliminary Study. Search on Bibsonomy HICSS (5) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
32Ruben Duarte Viegas, Marco Correia, Pedro Barahona, Francisco Azevedo Using Indexed Finite Set Variables for Set Bounds Propagation. Search on Bibsonomy IBERAMIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF finite set constraint variables, graph constraint variables, delta domain variables, indexation, constraint propagation
32Elisa Bertino, Ahmed K. Elmagarmid, Mohand-Said Hacid A Logical Approach to Quality of Service Specification in Video Databases. Search on Bibsonomy Multim. Tools Appl. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF QoS mapping, constraint-based query languages, constraint satisfaction, reactive systems, video databases, multimedia presentations, constraint optimization, QoS parameters, QoS specification
32J. C. Tay, S. Y. Huang, Hiok Chai Quek CSL (Part II): Modelling General N-ary, Logical CSPs. Search on Bibsonomy ICTAI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF CSL algebra, constraint specification language, n-ary logical constraint satisfaction problem, executable data structures, binary CSP algorithms, design, compiler, implementation, constraint handling
Displaying result #1 - #100 of 33126 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license