Search results for "constraint"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	Meera Sitharam, Adam Arbree, Yong Zhou, 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
7	Annalisa Di Deo, Dmitri Boulanger	A Formal Background to Build Constraint Objects. (PDF / PS)	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
6	Meinolf Sellmann	An Arc-Consistency Algorithm for the Minimum Weight All Different Constraint.	CP	2002	DBLP BibTeX RDF	all different constraint, minimum weight all different constraint, MinWeightAllDiff, IlcAllDiffCost, optimization constraint, cost based filtering
6	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
6	Gopal Gupta, Enrico Pontelli	A constraint-based approach for specification and verification of real-time systems. (PDF / PS)	IEEE Real-Time Systems Symposium	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
6	Aloysius K. Mok, Guangtian Liu	Early detection of timing constraint violation at runtime. (PDF / PS)	IEEE Real-Time Systems Symposium	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
6	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
5	Ricardo Soto, 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
5	Nicolas Beldiceanu, Pierre Flener, Xavier Lorca	Combining Tree Partitioning, Precedence, and Incomparability Constraints.	Constraints	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
5	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
5	Nicoleta Neagu	Studying Interchangeability in Constraint Satisfaction Problems.	CP	2002	DBLP BibTeX RDF	soft constraint satisfaction problems, constraint satisfaction problem, interchangeability
5	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
5	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
5	J. C. Tay, S. Y. Huang, Hiok Chai Quek	CSL (Part I): Modelling General N-ary, Logical CSPs. (PDF / PS)	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
5	R. Miller, H. Carter, K. Davis, S. Venkatesan 0001	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
5	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
5	Massimo Paltrinieri	A Visual Environment for Constraint Programming. (PDF / PS)	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
5	Winfried Graf, Stefan Neurohr	Constraint-Based Layout in Visual Program Design. (PDF / PS)	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
5	Nuno Vasconcelos, Andrew Lippman	Spatiotemporal model-based optic flow estimation. (PDF / PS)	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
4	Laurent D. Michel	Parallelizing constraint programs.	DAMP	2010	DBLP DOI BibTeX RDF	constraint-based local search, parallel programming, constraint programming
4	Alessandro Zanarini, Gilles Pesant	Solution counting algorithms for constraint-centered search heuristics.	Constraints	2009	DBLP DOI BibTeX RDF	Solution counting, Regular constraint, Alldifferent constraint, Heuristic search
4	Anirban Mondal, Sanjay Kumar Madria, Masaru Kitsuregawa	An economic incentive model for encouraging peer collaboration in mobile-P2P networks with support for constraint queries.	Peer-to-Peer Networking and Applications	2009	DBLP DOI BibTeX RDF	Royalty model, Peer participation, Constraint queries, Constraint indexing, Incentives, Economic model, Mobile peer-to-peer
4	Bella Dubrov, Haggai Eran, Ari Freund, Edward F. Mark, Shyam Ramji, Timothy A. Schell	Pin Assignment Using Stochastic Local Search Constraint Programming.	CP	2009	DBLP DOI BibTeX RDF	ASIC, Constraint Programming, EDA, Stochastic Local Search, Chip Design, Pin Assignment
4	Yevgeny Schreiber	Cost-Driven Interactive CSP with Constraint Relaxation.	CP	2009	DBLP DOI BibTeX RDF	Cost-Driven Interactive CSP, ICSP, Functional Test Generation, Constraint Relaxation
4	Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel	Essence : A constraint language for specifying combinatorial problems.	Constraints	2008	DBLP DOI BibTeX RDF	Specification languages, Constraint programming, Combinatorial problems, Constraint languages, Constraint modelling
4	Christian Schulte, 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
4	Wady Naanaa	A domain decomposition algorithm for constraint satisfaction.	ACM Journal of Experimental Algorithmics	2008	DBLP DOI BibTeX RDF	Constraint graph orientation, domain decomposition algorithms, value substitutability, constraint satisfaction problems
4	Thom W. Frühwirth	Welcome to Constraint Handling Rules.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
4	Henning Christiansen	Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
4	Sambuddha Bhattacharya, Shabbir H. Batterywala, Subramanian Rajagopalan, Hi-Keung Tony Ma, Narendra V. Shenoy	On Efficient and Robust Constraint Generation for Practical Layout Legalization.	ISQED	2008	DBLP DOI BibTeX RDF	Layout legalization, constraint reduction, compaction, constraint generation
4	Nadya Kuzmina, John Paul, Ruben Gamboa, James Caldwell	Extending dynamic constraint detection with disjunctive constraints.	WODA	2008	DBLP DOI BibTeX RDF	disjunctive constraint, dynamic constraint inference, behavioral specification
4	Stefano Bistarelli, Francesco Santini	A Formal and Practical Framework for Constraint-Based Routing.	ICN	2008	DBLP DOI BibTeX RDF	Soft Constraint Logic Programming, Constraint-Based Routing
4	Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto	Model-driven constraint programming.	PPDP	2008	DBLP DOI BibTeX RDF	constraint modeling languages, model transformation, metamodeling, constraint programming
4	Paul Maier, Martin Sachenbacher	Constraint Optimization and Abstraction for Embedded Intelligent Systems.	CPAIOR	2008	DBLP DOI BibTeX RDF	automated abstraction, embedded systems, decomposition, heuristic search, Constraint optimization
4	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
4	Kevin R. Glass, Shaun Bangay	Constraint-based conversion of fiction text to a time-based graphical representation.	SAICSIT Conf.	2007	DBLP DOI BibTeX RDF	interval constraint solving, text-to-scene, text-to-scene conversion, interval arithmetic, constraint solving
4	Bahman Pourvatan, Nima Rouhy	An Alternative Algorithm for Constraint Automata Product.	FSEN	2007	DBLP DOI BibTeX RDF	Constraint Automata Product, Reo, Constraint Automata
4	Kathryn Francis, Peter J. Stuckey	Constraint propagation for loose constraint graphs.	SAC	2007	DBLP DOI BibTeX RDF	constraint graph, constraint propagation
4	Tieke Li, Dongfen Guo	Constraint-Based Approach for Steelmaking-Continuous Casting Rescheduling.	IEA/AIE	2007	DBLP DOI BibTeX RDF	steelmaking-continuous casting, dynamic constraint satisfaction problem, constraint propagation, rescheduling
4	Jiayi Liu, Sheqin Dong, Yuchun Ma, Di Long, Xianlong Hong	Thermal-driven Symmetry Constraint for Analog Layout with CBL Representation.	ASP-DAC	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
4	Joachim Biskup, Dominique Marc Burgard, Torben Weibert, Lena Wiese	Inference Control in Logic Databases as a Constraint Satisfaction Problem.	ICISS	2007	DBLP DOI BibTeX RDF	confidentiality, constraint satisfaction problems, Inference control, constraint hierarchies, logic databases
4	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
4	Meinolf Sellmann, Luc Mercier, Daniel H. Leventhal	The Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width.	CPAIOR	2007	DBLP DOI BibTeX RDF	integer programming, constraint programming, cutting planes, polyhedral combinatorics
4	Rosella Gennari, Ornella Mich	Constraint-Based Temporal Reasoning for E-Learning with LODE.	CP	2007	DBLP DOI BibTeX RDF	automated temporal reasoning, e-learning, assistive technology, constraint programming
4	Kenil C. K. Cheng, Roland H. C. Yap	Applying Ad-hoc Global Constraints with the case Constraint to Still-Life.	Constraints	2006	DBLP DOI BibTeX RDF	Still-life problem, Ad-hoc constraint, Non-binary constraint, Modeling, Binary decision diagram
4	Armagan Tarim, Suresh Manandhar, Toby Walsh	Stochastic Constraint Programming: A Scenario-Based Approach.	Constraints	2006	DBLP DOI BibTeX RDF	Constraint satisfaction, Constraint programming, Reasoning under uncertainty
4	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.	Autonomous Agents and Multi-Agent Systems	2006	DBLP DOI BibTeX RDF	Distributed constraint reasoning, Privacy, Distributed constraint optimization
4	Mark Wallace	Hybrid Algorithms in Constraint Programming.	CSCLP	2006	DBLP DOI BibTeX RDF	search, constraint programming, hybrid algorithms
4	Thom W. Frühwirth	Constraint handling rules: the story so far.	PPDP	2006	DBLP DOI BibTeX RDF	concurrency, applications, program analysis, constraint programming, constraint solving, executable specification, computational logic, rule-based programming
4	Sylvain Piechowiak, Joaquin Rodriguez	The Localization and Correction of Errors in Models: A Constraint-Based Approach.	Appl. Intell.	2005	DBLP DOI BibTeX RDF	debugging constraint networks, model-based reasoning, constraint reasoning
4	Georg Ringwelski	An Arc-Consistency Algorithm for Dynamic and Distributed Constraint Satisfaction Problems.	Artif. Intell. Rev.	2005	DBLP DOI BibTeX RDF	dynamic and distributed constraint processing, constraint propagation
4	Arnaud Gotlieb, Tristan Denmat, Bernard Botella	Constraint-based test data generation in the presence of stack-directed pointers.	ASE	2005	DBLP DOI BibTeX RDF	constraint-based test data generation, stack-directed pointers, constraint satisfaction
4	Zhengdao Xu, Hans-Arno Jacobsen	Efficient constraint processing for location-aware computing.	Mobile Data Management	2005	DBLP DOI BibTeX RDF	constraint processing, location constraint, space-partitioning k-d-tree, location-based service, cost model
4	Fabian Büttner, Hanna Bauerdick, Martin Gogolla	Towards Transformation of Integrity Constraints and Database States.	DEXA Workshops	2005	DBLP DOI BibTeX RDF	constraint transformation, UML, OCL, Integrity constraint, schema transformation, cardinality constraint
4	Songhua Xu, Francis C. M. Lau, William K. Cheung, Yunhe Pan	Automatic Generation of Artistic Chinese Calligraphy.	IEEE Intelligent Systems	2005	DBLP DOI BibTeX RDF	computer calligraphy, hierarchical shape representation, computer graphics, constraint satisfaction, constraint handling, nonphotorealistic rendering, analogous reasoning, constraint-based reasoning, shape decomposition
4	Oliver Kullmann	Upper and Lower Bounds on the Complexity of Generalised Resolution and Generalised Constraint Satisfaction Problems.	Ann. Math. Artif. Intell.	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
4	Chunhong Cao, Lu Yinan, Wenhui Li	The Research of Geometric Constraint Soving Based on the Path Tracking Homotopy Iteration Method.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	under-constraint, homotopy iteration method, Geometric constraint solving, path tracking
4	Hiroshi Hosobe	Hierarchical nonlinear constraint satisfaction.	SAC	2004	DBLP DOI BibTeX RDF	constraint satisfaction, least squares, constraint hierarchies, nonlinear constraints
4	Nada Lavrac, Dragan Gamberger	Relevancy in Constraint-Based Subgroup Discovery.	Constraint-Based Mining and Inductive Databases	2004	DBLP DOI BibTeX RDF
4	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
4	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
4	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
4	Ayoub Insa Corréa, André Langevin, Louis-Martin Rousseau	Dispatching and Conflict-Free Routing of Automated Guided Vehicles: A Hybrid Approach Combining Constraint Programming and Mixed Integer Programming.	CPAIOR	2004	DBLP DOI BibTeX RDF	material handling systems, routing, constraint programming, hybrid model, Automated guided vehicles
4	Carla P. Gomes, Meinolf Sellmann	Streamlined Constraint Reasoning.	CP	2004	DBLP DOI BibTeX RDF	branching strategies, search, constraint reasoning
4	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
4	Elisa Bertino, Ahmed K. Elmagarmid, Mohand-Said Hacid	A Logical Approach to Quality of Service Specification in Video Databases.	Multimedia 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
4	Javier Larrosa, Rina Dechter	Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems.	Constraints	2003	DBLP DOI BibTeX RDF	bucket elimination, constraint satisfaction, branch and bound, soft constraints, constraint optimization
4	Yuanlin Zhang, Roland H. C. Yap	Erratum: P. van Beek and R. Dechter's theorem on constraint looseness and local consistency.	J. ACM	2003	DBLP DOI BibTeX RDF	constraint satisfaction problems, relations, local consistency, constraint networks, Constraint-based reasoning
4	Meinolf Sellmann, Torsten Fahle	Constraint Programming Based Lagrangian Relaxation for the Automatic Recording Problem.	Annals OR	2003	DBLP DOI BibTeX RDF	maximum weighted stable set constraint, knapsack constraint, Lagrangian relaxation, optimization constraint
4	Robert Joan-Arinyo, Antoni Soto-Riera, Sebastià Vila-Marta, Josep Vilaplana-Pasto	Transforming an under-constrained geometric constraint problem into a well-constrained one.	Symposium on Solid Modeling and Applications	2003	DBLP DOI BibTeX RDF	graph-based constraint solving, over-constrained and under-constrained systems, constraint solving, geometric constraints
4	Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur	Extending arbitrary solvers with constraint handling rules.	PPDP	2003	DBLP DOI BibTeX RDF	compilation, constraint solvers, constraint handling rules
4	Jürgen Garloff, Laurent Granvilliers, Andrew P. Smith	Accelerating Consistency Techniques and Prony's Method for Reliable Parameter Estimation of Exponential Sums.	COCOS	2003	DBLP DOI BibTeX RDF	Pronys method, redundant constraint, Parameter estimation, interval arithmetic, constraint propagation, exponential sum
4	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
4	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
4	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
4	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
4	Peter Zoeteweij	A Coordination-Based Framework for Distributed Constraint Solving.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
4	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
4	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
4	Samir Loudni, Patrice Boizumault	A New Hybrid Method for Solving Constraint Optimization Problems in Anytime Contexts. (PDF / PS)	ICTAI	2001	DBLP DOI BibTeX RDF	Anytime Problems, Local Search Methods, Constraint-Satisfaction, Hybrid Methods, Constraint-Optimization
4	Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons	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
4	Bradley T. Vander Zanden, Richard L. Halterman, Brad A. Myers, Richard G. McDaniel, Robert C. Miller, Pedro A. Szekely, Dario A. Giuse, David S. Kosbie	Lessons learned about one-way, dataflow constraints in the Garnet and Amulet graphical toolkits.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	Constraint experience, constraint usage, eager evaluation, one-way dataflow constraints, constraint satisfaction, lazy evaluation
4	Tommaso Bolognesi	Toward Constraint-Object-Oriented Development.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Constraint-oriented specification, Co-Notation, constraint-object-oriented design, method decomposition, JAVA programming style, LOTOS, multi-object operation
4	Thomas H. Kolbe, Lutz Plümer, Armin B. Cremers	Identifying Buildings in Aerial Images Using Constraint Relaxation and Variable Elimination. (PDF / PS)	IEEE Intelligent Systems	2000	DBLP DOI BibTeX RDF	building extraction, variable elimination, object recognition, constraint logic programming, geometric constraints, constraint relaxation, inexact graph matching
4	Malek Mouhoub	Reasoning about numeric and symbolic time information.	ICTAI	2000	DBLP DOI BibTeX RDF	symbolic time information, numeric time information, TemPro, qualitative temporal constraints, quantitative temporal constraints, scheduling, scheduling, real-time systems, natural language processing, planning (artificial intelligence), planning, natural languages, reasoning, temporal reasoning, temporal reasoning, real time applications, constraint propagation, constraint handling, temporal model, constraint theory, interval algebra
4	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
4	Frédéric Goualard, Frédéric Benhamou	A Visualization Tool for Constraint Program Debugging. (PDF / PS)	ASE	1999	DBLP DOI BibTeX RDF	constraint store, user interface, program understanding, constraint programming, local consistency, debugger
4	Laurent Granvilliers, Frédéric Goualard, Frédéric Benhamou	Box Consistency through Weak Box Consistency. (PDF / PS)	ICTAI	1999	DBLP DOI BibTeX RDF	box consistency, constraint satisfaction, constraint propagation, numerical constraint
4	Stefano Bistarelli, Ugo Montanari, Francesca Rossi	Semiring-based constraint satisfaction and optimization.	J. ACM	1997	DBLP DOI BibTeX RDF	non-crisp constraint reasoning, dynamic programming, constraint solving, local consistency
4	Silvia Regina Vergilio, José Carlos Maldonado, Mario Jino	Constraint Based Selection of Test Sets to Satisfy Structural Software Testing Criteria. (PDF / PS)	SCCC	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
4	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
4	Peter J. Stuckey, Vincent Tam	Extending EGENET with Lazy Constraint Consistency. (PDF / PS)	ICTAI	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
4	J. C. Tay, S. Y. Huang, Hiok Chai Quek	CSL (Part II): Modelling General N-ary, Logical CSPs. (PDF / PS)	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
4	Edoardo Charbon, Paolo Miliozzi, Enrico Malavasi, Alberto L. Sangiovanni-Vincentelli	Generalized constraint generation in the presence of non-deterministic parasitics.	ICCAD	1996	DBLP DOI BibTeX RDF	constraint-driven layout synthesis, non-deterministic parasitics, constraint generation
4	Steven G. Woods, Qiang Yang	The Program Understanding Problem: Analysis and a Heuristic Approach.	ICSE	1996	DBLP BibTeX RDF	complex source code, formal complexity results, heuristic solutions, problem solving model, program understanding problem, computational complexity, reverse engineering, conceptual models, NP hard, CSPs, search problems, constraint satisfaction problems, constraint propagation, search algorithms, constraint handling, heuristic approach
4	Aloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij	The MSP.RTL real-time scheduler synthesis tool. (PDF / PS)	IEEE Real-Time Systems Symposium	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
4	Robert P. Futrelle, Nikos Nikolakis	Efficient analysis of complex diagrams using constraint-based parsing. (PDF / PS)	ICDAR	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
4	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
4	J.-L. Sune, V. Rebuffel, R. Samy	Depth-from-motion estimation based on a multiscale analysis of motion constraint equation validity. (PDF / PS)	ICIP	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
4	Bill Triggs	Matching Constraints and the Joint Image. (PDF / PS)	ICCV	1995	DBLP DOI BibTeX RDF	combined homogeneous image coordinates, multi image perspective projection, combined image projections, 3D joint image subspace, complete projective replica, 3D world, image coordinates, 4 index joint image Grassmannian tensor, multilinear tensorial equations, trilinear constraint, complex algebraic interdependency, quadratic structural simplicity constraints, computational geometry, image reconstruction, linear algebra, tensors, projective reconstruction, epipolar constraint, constraint theory, imaging geometry, matching constraints, image measurements