Search results for "Constraint"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
76	Patrick Prosser, Evgeny Selensky	A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
65	Hans Schlenker, Georg Ringwelski	POOC: A Platform for Object-Oriented Constraint Programming.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
65	Peter Zoeteweij	A Coordination-Based Framework for Distributed Constraint Solving.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
62	Alan M. Frisch, Ian Miguel, Toby Walsh	CGRASS: A System for Transforming Constraint Satisfaction Problems.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
62	Annalisa Di Deo, Dmitri Boulanger	A Formal Background to Build Constraint Objects.	IDEAS	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
59	Konstantin Artiouchine, Philippe Baptiste	Inter-distance Constraint: An Extension of the All-Different Constraint for Scheduling Equal Length Jobs.	CP	2005	DBLP DOI BibTeX RDF	Scheduling, Constraint Propagation, Global Constraint
59	Sebastian Brand	A Note on Redundant Rules in Rule-Based Constraint Programming.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
58	Laurent Perrussel, Pierre-Jean Charrel	Inconsistent Requirements: An Argumentation View.	ICTAI	2001	DBLP DOI BibTeX RDF	> Collaborative Software Agents, Search, Distributed AI, Distributed Constraint Satisfaction
56	Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001	Abstract Verification and Debugging of Constraint Logic Programs.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
56	James Bowen	Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
56	Stefano Bistarelli, Boi Faltings, Nicoleta Neagu	Interchangeability in Soft CSPs.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
56	Steven D. Prestwich	A Local Search Algorithm for Balanced Incomplete Block Designs.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
56	Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou	Towards Automated Reasoning on the Properties of Numerical Constraints.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
56	Marc R. C. van Dongen	Domain-Heuristics for Arc-Consistency Algorithms.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
55	Meinolf Sellmann	An Arc-Consistency Algorithm for the Minimum Weight All Different Constraint.	CP	2002	DBLP DOI BibTeX RDF	all different constraint, minimum weight all different constraint, MinWeightAllDiff, IlcAllDiffCost, optimization constraint, cost based filtering
53	J. C. Tay, S. Y. Huang, Hiok Chai Quek	CSL (Part I): Modelling General N-ary, Logical CSPs.	ICTAI	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
53	Meera Sitharam, Adam Arbree, Yong Zhou 0002, Naganandhini Kohareswaran	Solution space navigation for geometric constraint systems.	ACM Trans. Graph.	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
53	Eugene C. Freuder, Chavalit Likitvivatanavong, Manuela Moretti, Francesca Rossi 0001, Richard J. Wallace	Computing Explanations and Implications in Preference-Based Configurators.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
53	Inês Lynce, João Marques-Silva 0001	The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
50	Barry 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	International Workshop on Constraint Solving and Constraint Logic Programming	2003	DBLP DOI BibTeX RDF
50	Roman Barták	Visopt ShopFloor: Going Beyond Traditional Scheduling.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
48	Aloysius K. Mok, Guangtian Liu	Early detection of timing constraint violation at runtime.	RTSS	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
48	Gopal Gupta 0001, Enrico Pontelli	A constraint-based approach for specification and verification of real-time systems.	RTSS	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
46	Peter van Beek, Rina Dechter	On the Minimality and Decomposability of Row-Convex Constraint Networks.	J. ACM	1995	DBLP DOI BibTeX RDF	row convexity, constraint satisfaction problems, relations, constraint networks, constraint-based reasoning, path consistency, consecutive ones property
46	Stuart Kent 0001, John Howse	Constraint Trees.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF
46	Kazunori Mizuno, Seiichi Nishihara	Local minimum structures of graph-coloring problems for stochastic constraint satisfaction algorithms.	ICTAI	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
44	Laurent D. Michel	Parallelizing constraint programs.	DAMP	2010	DBLP DOI BibTeX RDF	constraint-based local search, parallel programming, constraint programming
44	Bahman Pourvatan, Nima Rouhy	An Alternative Algorithm for Constraint Automata Product.	FSEN	2007	DBLP DOI BibTeX RDF	Constraint Automata Product, Reo, Constraint Automata
44	Peter van Beek, Rina Dechter	Constraint tightness and looseness versus local and global consistency.	J. ACM	1997	DBLP DOI BibTeX RDF	constraint satisfaction problems, relations, local consistency, constraint networks, constraint-based reasoning
43	Francesco Bonchi, Fosca Giannotti, Dino Pedreschi	A Relational Query Primitive for Constraint-Based Pattern Mining.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
43	Nada Lavrac, Dragan Gamberger	Relevancy in Constraint-Based Subgroup Discovery.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
42	Albrecht Zimmermann, Luc De Raedt	Inductive Querying for Discovering Subgroups and Clusters.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF	correlated pattern mining, inductive querying, clustering, subgroup discovery, constraint-based mining
41	Armagan Tarim, Suresh Manandhar, Toby Walsh	Stochastic Constraint Programming: A Scenario-Based Approach.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Constraint satisfaction, Constraint programming, Reasoning under uncertainty
41	Hans W. Guesgen, Anne Philpott	Heuristics for Solving Fuzzy Constraint Satisfaction Problems.	ANNES	1995	DBLP DOI BibTeX RDF	Constraint satisfaction, heuristic search, fuzzy set theory, constraint relaxation
41	David Lesaint	Inferring Constraint Types in Constraint Programming.	CP	2002	DBLP DOI BibTeX RDF
41	Hon Wai Chun	A methodology for object-oriented constraint programming.	APSEC	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
41	Roman Barták, Daniel Toropila	Constraint Models for Sequential Planning.	CPAIOR	2009	DBLP DOI BibTeX RDF
41	Joxan Jaffar, Roland H. C. Yap	Open Constraint Programming.	CP	1998	DBLP DOI BibTeX RDF
40	Ulrich John	Solving Large Configuration Problems Efficiently by Clustering the ConBaCon Model.	IEA/AIE	2000	DBLP DOI BibTeX RDF	Constraint-based Configuration, Industrial Expert Systems, Constraint Programming, Constraint-based Modeling
40	Matthew S. Harelick, Thomas J. Marlowe, Alexander D. Stoyenko, Purnendu Sinha	A constraint function classification for complex systems development.	ICECCS	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
40	Armin Wolf	Projection in Adaptive Constraint Handling.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
39	Nicolas Beldiceanu, Pierre Flener, Xavier Lorca	Combining Tree Partitioning, Precedence, and Incomparability Constraints.	Constraints An Int. J.	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
38	Jean-Charles Régin, Carla P. Gomes	The Cardinality Matrix Constraint.	CP	2004	DBLP DOI BibTeX RDF
38	Peter J. Stuckey, Vincent W. L. Tam	Models for Using Stochastic Constraint Solvers in Constraint Logic Programming.	PLILP	1996	DBLP DOI BibTeX RDF
37	Helmut Simonis, Abderrahmane Aggoun, Nicolas Beldiceanu, Eric Bourreau	Complex Constraint Abstraction: Global Constraint Visualisation.	Analysis and Visualization Tools for Constraint Programming	2000	DBLP DOI BibTeX RDF
37	Eugene C. Freuder	Using Metalevel Constraint Knowledge to Reduce Constraint Checking.	Constraint Processing, Selected Papers	1995	DBLP DOI BibTeX RDF
37	Gert 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)	ICLP Workshop on Concurrent Constraint Programming	1993	DBLP BibTeX RDF
37	Thom W. Frühwirth	Welcome to Constraint Handling Rules.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
37	Saso Dzeroski, Ljupco Todorovski, Peter Ljubic	Inductive Queries on Polynomial Equations.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
37	Nuno Vasconcelos, Andrew Lippman	Spatiotemporal model-based optic flow estimation.	ICIP	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
36	Manuel Bodirsky, Jan Kára	The Complexity of Equality Constraint Languages.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Clones on infinite domains, Computational complexity, Constraint satisfaction, Logic in computer science
36	Trent Jaeger, Reiner Sailer, Xiaolan Zhang 0001	Resolving constraint conflicts.	SACMAT	2004	DBLP DOI BibTeX RDF	access control models, constraint models, policy design
36	Ingi Sobhi, Slim Abdennadher, Hariolf Betz	Constructing Rule-Based Solvers for Intentionally-Defined Constraints.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
36	Kathryn Francis, Peter J. Stuckey	Constraint propagation for loose constraint graphs.	SAC	2007	DBLP DOI BibTeX RDF	constraint graph, constraint propagation
36	Javier Larrosa, Rina Dechter	Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems.	Constraints An Int. J.	2003	DBLP DOI BibTeX RDF	bucket elimination, constraint satisfaction, branch and bound, soft constraints, constraint optimization
36	Nicoleta Neagu	Studying Interchangeability in Constraint Satisfaction Problems.	CP	2002	DBLP DOI BibTeX RDF	soft constraint satisfaction problems, constraint satisfaction problem, interchangeability
36	Malek Mouhoub	Maintaining Global Consistency of Temporal Constraints in a Dynamic Environment.	IEA/AIE	2003	DBLP DOI BibTeX RDF	Constraint Satisfaction, Temporal Reasoning, Planning and Scheduling
36	Zhengdao Xu, Hans-Arno Jacobsen	Adaptive location constraint processing.	SIGMOD Conference	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
36	Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons 0001	The complexity of maximal constraint languages.	STOC	2001	DBLP DOI BibTeX RDF	algebraic invariance property, constraint satisfaciton problem, relational clone, complexity, NP-completeness, tractability, constraint language
35	Yong Gao 0001, Joseph C. Culberson	Consistency and Random Constraint Satisfaction Models with a High Constraint Tightness.	CP	2004	DBLP DOI BibTeX RDF
35	Michael J. Maher	A Synthesis of Constraint Satisfaction and Constraint Solving.	CP	2003	DBLP DOI BibTeX RDF
35	Nicolas Beldiceanu	Pruning for the Minimum Constraint Family and for the Number of Distinct Values Constraint Family.	CP	2001	DBLP DOI BibTeX RDF
35	Ricardo Soto 0001, Laurent Granvilliers	On the Pursuit of a Standard Language for Object-Oriented Constraint Modeling.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	Languages, Constraint Programming, Constraint Satisfaction Problems, Constraint Modeling
35	R. Miller, Hal Carter, K. Davis, Satish Venkatesan	Hardware/software cosynthesis: multiple constraint satisfaction and component retrieval.	ICECCS	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
35	Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh	The ROOTS Constraint.	CP	2006	DBLP DOI BibTeX RDF
35	Georg Ringwelski	Integrating Search Objects in Asynchronous Constraint Solving.	CP	2002	DBLP DOI BibTeX RDF
34	Aloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij	The MSP.RTL real-time scheduler synthesis tool.	RTSS	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
34	Henning Christiansen 0001	Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
34	Daniel Kifer, Johannes Gehrke, Cristian Bucila, Walker M. White	How to Quickly Find a Witness.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
34	Ruggero 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.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
34	Konstantin Artiouchine, Philippe Baptiste	Arc-B-consistency of the Inter-distance Constraint.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Inter-distance constraint, Arc-B-consistency, Edge-finding
34	Peter Jonsson, Andrei A. Krokhin, Fredrik Kuivinen	Ruling Out Polynomial-Time Approximation Schemes for Hard Constraint Satisfaction Problems.	CSR	2007	DBLP DOI BibTeX RDF	maximum constraint satisfaction, complexity, approximability
34	Manuel Bodirsky, Jan Kára	The Complexity of Equality Constraint Languages.	CSR	2006	DBLP DOI BibTeX RDF	Clones on Infinite Domains, Computational Complexity, Constraint Satisfaction, Logic in Computer Science
34	María Auxilio Osorio Lama, David Pinto 0001	A Preprocessing That Combines Heuristic and Surrogate Constraint Analysis to Fix Variables in TSP.	MICAI	2004	DBLP DOI BibTeX RDF	TSP problem, Surrogate Constraint Analysis, Preprocessing
34	Miguel A. Salido, Federico Barber	Exploiting the Constrainedness in Constraint Satisfaction Problems.	AIMSA	2004	DBLP DOI BibTeX RDF	complexity, heuristic search, Constraint Satisfaction Problems
34	Alan K. Mackworth, Ying Zhang	A Formal Approach to Agent Design: An Overview of Constraint-Based Agents.	Constraints An Int. J.	2003	DBLP DOI BibTeX RDF	constraint-based requirements, formal specification, artificial intelligence, automata, system verification, robot architectures, agent design
34	Armin Wolf, Jacques Robin, Jairson Vitorino	Adaptive CHR Meets CHRv: An Extended Refined Operational Semantics for CHRv Based on Justifications.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
33	Tobias Müller	Promoting Constraints to First-Class Status.	Computational Logic	2000	DBLP DOI BibTeX RDF	first-class constraints, early failure detection, simplification and garbage collection of constraints, minimal sets of inconsistent constraints, constraint programming
33	Christian Schulte 0001, Peter J. Stuckey	Efficient constraint propagation engines.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Constraint (logic) programming, fixpoint reasoning, events, priorities, constraint propagation, finite domain constraints
33	Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto 0001	Model-driven constraint programming.	PPDP	2008	DBLP DOI BibTeX RDF	constraint modeling languages, model transformation, metamodeling, constraint programming
33	Rajiv 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.	Auton. Agents Multi Agent Syst.	2006	DBLP DOI BibTeX RDF	Distributed constraint reasoning, Privacy, Distributed constraint optimization
33	Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	A lazy narrowing calculus for declarative constraint programming.	PPDP	2004	DBLP DOI BibTeX RDF	constraint logic programming, rewrite systems, narrowing, constraint solvers, functional logic programming languages
33	Laurent Granvilliers, Mina Ouabiba	Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques.	AISC	2004	DBLP DOI BibTeX RDF	redundant constraint, Interval arithmetic, local consistency, numerical constraint, symbolic algorithm
33	Stefano Bistarelli, Thom W. Frühwirth, Michael Marte	Soft constraint propagation and solving in CHRs.	SAC	2002	DBLP DOI BibTeX RDF	constraint reasoning algorithms, constraint programming
33	Robert Joan-Arinyo, Antoni Soto-Riera, Sebastià Vila-Marta, Josep Vilaplana-Pasto	Revisiting decomposition analysis of geometric constraint graphs.	Symposium on Solid Modeling and Applications	2002	DBLP DOI BibTeX RDF	graph-based constraint solving, constraint solving, geometric constraints
33	Samir Loudni, Patrice Boizumault	A New Hybrid Method for Solving Constraint Optimization Problems in Anytime Contexts.	ICTAI	2001	DBLP DOI BibTeX RDF	Anytime Problems, Local Search Methods, Constraint-Satisfaction, Hybrid Methods, Constraint-Optimization
33	Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001	Semiring-based constraint satisfaction and optimization.	J. ACM	1997	DBLP DOI BibTeX RDF	non-crisp constraint reasoning, dynamic programming, constraint solving, local consistency
33	Mats Carlsson, Greger Ottosson, Björn Carlson	An Open-Ended Finite Domain Constraint Solver.	PLILP	1997	DBLP DOI BibTeX RDF	Implementation of Constraint Systems, Indexicals, Constraint Programming, Global Constraints, Finite Domains
33	François Fages, Julian Fowler, Thierry Sola	Handling Preferences in Constraint Logic Programming with Relational Optimization.	PLILP	1994	DBLP DOI BibTeX RDF	hierarchical constraint logic programming, optimization, preference, constraint logic programming
33	Sebastian Brand, Rosella Gennari, Maarten de Rijke	Constraint Methods for Modal Satisfiability.	CSCLP	2003	DBLP DOI BibTeX RDF
32	Khalil Djelloul	Combination of decomposability and propagation for solving first-order constraints in decomposable theories.	SAC	2008	DBLP DOI BibTeX RDF	complete theory, first-order constraint satisfaction problems, first-order constraint solvers, first-order constraints, rewriting rules
32	Shantanu Dutt, Halim Theny	Partitioning around roadblocks: tackling constraints with intermediate relaxations.	ICCAD	1997	DBLP DOI BibTeX RDF	balance-ratio constraint, benefit estimation, blind relaxation, constraint-driven partitioning, estimate-driven relaxation, mincut partitioning, probabilistic gain, violating moves
32	Massimo Paltrinieri	A Visual Environment for Constraint Programming.	VL	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
32	Winfried Graf, Stefan Neurohr	Constraint-Based Layout in Visual Program Design.	VL	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
32	Ian P. Gent, Christopher Jefferson, Ian Miguel	Watched Literals for Constraint Propagation in Minion.	CP	2006	DBLP DOI BibTeX RDF
32	Armin Wolf	Adaptive Constraint Handling with CHR in Java.	CP	2001	DBLP DOI BibTeX RDF
32	Young U. Ryu	Approximate Constraint Satisfaction Over a Constraint Hierarchy: A Preliminary Study.	HICSS (5)	1998	DBLP DOI BibTeX RDF
32	Ruben Duarte Viegas, Marco Correia, Pedro Barahona, Francisco Azevedo	Using Indexed Finite Set Variables for Set Bounds Propagation.	IBERAMIA	2008	DBLP DOI BibTeX RDF	finite set constraint variables, graph constraint variables, delta domain variables, indexation, constraint propagation
32	Elisa Bertino, Ahmed K. Elmagarmid, Mohand-Said Hacid	A Logical Approach to Quality of Service Specification in Video Databases.	Multim. Tools Appl.	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
32	J. C. Tay, S. Y. Huang, Hiok Chai Quek	CSL (Part II): Modelling General N-ary, Logical CSPs.	ICTAI	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