Search results for "Constraint"

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	Constraint Programming	1995	DBLP DOI BibTeX RDF
25	Manfred Meyer (eds.)	Constraint Processing, Selected Papers	Constraint Processing, Selected Papers	1995	DBLP DOI BibTeX RDF
25	M. Anton Ertl, Andreas Krall	High-Level Constraints over Finite Domains.	Constraint Processing, Selected Papers	1995	DBLP DOI BibTeX RDF
25	Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco	Semmantic Properties of CHIP (FD).	Constraint Processing, Selected Papers	1995	DBLP DOI BibTeX RDF
25	Richard J. Wallace	Directed Arc Consistency Preprocessing.	Constraint Processing, Selected Papers	1995	DBLP DOI BibTeX RDF
25	Dan R. Vlasie	Combining Hill Climbing and Forward Checking for Handling Disjunctive Constraints.	Constraint Processing, Selected Papers	1995	DBLP DOI BibTeX RDF
25	Eugene C. Freuder	The Many Paths to Satisfaction.	Constraint Processing, Selected Papers	1995	DBLP DOI BibTeX RDF
25	Andreas Podelski, Peter Van Roy	A Detailed Algorithm Testing Guards over Feature Trees.	Constraint Processing, Selected Papers	1995	DBLP DOI BibTeX RDF
25	Jérôme Gensel	Integrating Constraints in an Object-Based Knowledge Representation System.	Constraint Processing, Selected Papers	1995	DBLP DOI BibTeX RDF
25	Patrice Boizumault, Yan Delon, Laurent Péridy	A CLP Approach for Examination Planning.	Constraint Processing, Selected Papers	1995	DBLP DOI BibTeX RDF
25	Christian Bessière, Jean-Charles Régin	Using Bidirectionality to Speed up Arc-Constistency Processing.	Constraint Processing, Selected Papers	1995	DBLP DOI BibTeX RDF
25	Patrick Prosser	Forward Checking with Backmarking.	Constraint Processing, Selected Papers	1995	DBLP DOI BibTeX RDF
25	Olivier Ridoux	Imagining CLP(A, equiv alpha beta)	Constraint Programming	1994	DBLP DOI BibTeX RDF
25	Alexander Bockmayr	Solving Pseudo-Boolean Constraints	Constraint Programming	1994	DBLP DOI BibTeX RDF
25	François Fages	Constructive Negation by Pruning and Optimizing Higher-Order Predicates for CLP and CC Languages	Constraint Programming	1994	DBLP DOI BibTeX RDF
25	Baudouin Le Charlier	Abstract Interpretation and Finite Domain Symbolic Constraints	Constraint Programming	1994	DBLP DOI BibTeX RDF
25	Hélène Kirchner	On the Use of Constraints in Automated Deduction	Constraint Programming	1994	DBLP DOI BibTeX RDF
25	Gert Smolka	The Definition of Kernel Oz	Constraint Programming	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	ICLP Workshop on Concurrent Constraint Programming	1993	DBLP BibTeX RDF
25	Hassan Aït-Kaci, Andreas Podelski, Peter Van Roy	An Informal Introduction to LIFE.	ICLP Workshop on Concurrent Constraint Programming	1993	DBLP BibTeX RDF
25	Torbjörn Keisu	Herbrand Constraints (Extended Abstract).	ICLP Workshop on Concurrent Constraint Programming	1993	DBLP BibTeX RDF
25	Andreas Podelski, Peter Van Roy	The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally.	ICLP Workshop on Concurrent Constraint Programming	1993	DBLP BibTeX RDF
25	Remco Moolenaar, Bart Demoen	Optimization Techniques for Nondeterministic Promotion in the Andorra Kernel Language.	ICLP Workshop on Concurrent Constraint Programming	1993	DBLP BibTeX RDF
25	Dan Sahlin, Thomas Sjöland	Towards Abstract Interpretation of AKL.	ICLP Workshop on Concurrent Constraint Programming	1993	DBLP BibTeX RDF
25	Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein	Order-Sorted Feature Theory Unification.	ICLP Workshop on Concurrent Constraint Programming	1993	DBLP BibTeX RDF
25	Brian H. Mayoh, Enn Tyugu, Tarmo Uustalu	Constraint Satisfaction and Constraint Programming: A Brief Lead-In.	NATO ASI CP	1993	DBLP DOI BibTeX RDF
25	Magnus Ågren 0002, Pierre Flener, Justin Pearson	Generic Incremental Algorithms for Local Search.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Monadic existential second-order logic, Local search, Global constraint
25	Cormac Flanagan, Matthias Felleisen	Componential Set-Based Analysis.	ACM Trans. Program. Lang. Syst.	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.	AISC	1998	DBLP DOI BibTeX RDF	Constraint Satisfaction Problems, Rewriting Logic
25	Alessandro Zanarini, Gilles Pesant	Solution counting algorithms for constraint-centered search heuristics.	Constraints An Int. J.	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.	ISQED	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.	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
25	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
25	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
25	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
25	Chunhong Cao, Yinan Lu, Wenhui Li 0002	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
25	Peter J. Stuckey, Vincent W. L. Tam	Extending EGENET with Lazy Constraint Consistency.	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
25	Silvia Regina Vergilio, José Carlos Maldonado, Mário Jino	Constraint Based Selection of Test Sets to Satisfy Structural Software Testing Criteria.	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
25	J.-L. Sune, Veronique Rebuffel, R. Samy	Depth-from-motion estimation based on a multiscale analysis of motion constraint equation validity.	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
25	Robert P. Futrelle, Nikos Nikolakis	Efficient analysis of complex diagrams using constraint-based parsing.	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
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.	IEEE Trans. Software Eng.	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.	COCOS	2002	DBLP DOI BibTeX RDF
24	Jorge Cruz 0001, Pedro Barahona	Maintaining Global Hull Consistency with Local Search for Continuous CSPs.	COCOS	2002	DBLP DOI BibTeX RDF
24	Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige	Challenges in Constraint-Based Analysis of Hybrid Systems.	CSCLP	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.	CDB	2004	DBLP DOI BibTeX RDF
24	Toshihiro Matsui, Marius-Calin Silaghi, Katsutoshi Hirayama, Makoto Yokoo, Hiroshi Matsuo	Directed soft arc consistency in pseudo trees.	AAMAS (2)	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.	PPDP	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.	SAC	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.	ER	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.	SETN	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.	Ann. Oper. Res.	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.	AGTIVE	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.	VLSI Design	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.	HICSS (3)	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.	IEEE Trans. Pattern Anal. Mach. Intell.	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.	IEEE Trans. Pattern Anal. Mach. Intell.	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.	CPAIOR	2009	DBLP DOI BibTeX RDF
24	Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon	Constraint-Based Graph Matching.	CP	2009	DBLP DOI BibTeX RDF
24	Gilles Chabert, Luc Jaulin, Xavier Lorca	A Constraint on the Number of Distinct Vectors with Application to Localization.	CP	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.	CPAIOR	2008	DBLP DOI BibTeX RDF
24	Roberto Rossi 0002, Armagan Tarim, Brahim Hnich, Steven D. Prestwich	Cost-Based Domain Filtering for Stochastic Constraint Programming.	CP	2008	DBLP DOI BibTeX RDF
24	Emmanuel Hebrard, Barry O'Sullivan, Igor Razgon	A Soft Constraint of Equality: Complexity and Approximability.	CP	2008	DBLP DOI BibTeX RDF
24	Daria Terekhov, J. Christopher Beck	Solving a Stochastic Queueing Control Problem with Constraint Programming.	CPAIOR	2007	DBLP DOI BibTeX RDF
24	Marie-Claude Côté, Bernard Gendron, Louis-Martin Rousseau	Modeling the Regular Constraint with Integer Programming.	CPAIOR	2007	DBLP DOI BibTeX RDF
24	Laurent Michel, Andrew See, Pascal Van Hentenryck	Parallelizing Constraint Programs Transparently.	CP	2007	DBLP DOI BibTeX RDF
24	Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé	An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming.	CP	2007	DBLP DOI BibTeX RDF
24	Igor Razgon, Barry O'Sullivan, Gregory M. Provan	Generalizing Global Constraints Based on Network Flows.	CSCLP	2007	DBLP DOI BibTeX RDF
24	Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh	The Range Constraint: Algorithms and Implementation.	CPAIOR	2006	DBLP DOI BibTeX RDF
24	Robert Mateescu, Rina Dechter	Compiling Constraint Networks into AND/OR Multi-valued Decision Diagrams (AOMDDs).	CP	2006	DBLP DOI BibTeX RDF
24	Chavalit Likitvivatanavong, Roland H. C. Yap	Extracting Microstructure in Binary Constraint Networks.	CSCLP	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.	CP	2005	DBLP DOI BibTeX RDF
24	Hadrien Cambazard, Narendra Jussien	Integrating Benders Decomposition Within Constraint Programming.	CP	2005	DBLP DOI BibTeX RDF
24	Emmanuel Coquery, François Fages	A Type System for CHR.	CSCLP	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.	EvoCOP	2004	DBLP DOI BibTeX RDF
24	Waldemar Kocjan, Per Kreuger	Filtering Methods for Symmetric Cardinality Constraint.	CPAIOR	2004	DBLP DOI BibTeX RDF
24	Emmanuel Hebrard, Brahim Hnich, Toby Walsh	Super Solutions in Constraint Programming.	CPAIOR	2004	DBLP DOI BibTeX RDF
24	Christine Wei Wu	Modelling Chemical Reactions Using Constraint Programming and Molecular Graphs.	CP	2004	DBLP DOI BibTeX RDF
24	Lars Hellsten, Gilles Pesant, Peter van Beek	A Domain Consistency Algorithm for the Stretch Constraint.	CP	2004	DBLP DOI BibTeX RDF
24	Paul Shaw	A Constraint for Bin Packing.	CP	2004	DBLP DOI BibTeX RDF
24	Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey	Box Constraint Collections for Adhoc Constraints.	CP	2003	DBLP DOI BibTeX RDF
24	Hans Schlenker	Distributed Constraint-Based Railway Simulation.	CP	2003	DBLP DOI BibTeX RDF
24	Christian Bessière, Pascal Van Hentenryck	To Be or Not to Be ... a Global Constraint.	CP	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.	CP	2003	DBLP DOI BibTeX RDF
24	Jakob Mauss, Frank Seelisch, Mugur M. Tatar	A Relational Constraint Solver for Model-Based Engineering.	CP	2002	DBLP DOI BibTeX RDF
24	Laurent Granvilliers, Éric Monfroy	Composition Operators for Constraint Propagation: An Application to Choco.	CP	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.	CP	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.	CP	2000	DBLP DOI BibTeX RDF
24	Stefano Bistarelli, Rosella Gennari, Francesca Rossi 0001	Constraint Propagation for Soft Constraints: Generalization and Termination Conditions.	CP	2000	DBLP DOI BibTeX RDF
24	Katsutoshi Hirayama, Makoto Yokoo, Katia P. Sycara	The Phase Transition in Distributed Constraint Satisfaction Problems: Fist Results.	CP	2000	DBLP DOI BibTeX RDF
24	Vincent Schächter	Linear Concurrent Constraint Programming over Reals.	CP	1998	DBLP DOI BibTeX RDF
24	Slim Abdennadher, Thom W. Frühwirth	On Completion of Constraint Handling Rules.	CP	1998	DBLP DOI BibTeX RDF
23	András Prékopa	Static Stochastic Programming Models.	Encyclopedia of Optimization	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.	Hybrid Metaheuristics	2009	DBLP DOI BibTeX RDF
23	Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä	A Module-Based Framework for Multi-language Constraint Modeling.	LPNMR	2009	DBLP DOI BibTeX RDF
23	Pascal Van Hentenryck	Constraint Programming.	EMO	2009	DBLP DOI BibTeX RDF
23	Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivný	Same-Relation Constraints.	CP	2009	DBLP DOI BibTeX RDF
23	Deepak Mehta 0001, Barry O'Sullivan, Luis Quesada 0001, Nic Wilson	Search Space Extraction.	CP	2009	DBLP DOI BibTeX RDF
23	George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh	Restricted Global Grammar Constraints.	CP	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.	COMPSAC	2008	DBLP DOI BibTeX RDF
23	Manuel Bodirsky, Hubie Chen, Jan Kára, Timo von Oertzen	Maximal Infinite-Valued Constraint Languages.	ICALP	2007	DBLP DOI BibTeX RDF