Search results for "Constraint"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	George Boukeas, Panagiotis Stamatopoulos, Constantinos Halatsis, Vassilis Zissimopoulos	Inherent Choice in the Search Space of Constraint Satisfaction Problem Instances.	SETN	2004	DBLP DOI BibTeX RDF	search, constraint satisfaction, mathematical foundations
20	Jan Chomicki, Dina Q. Goldin, Gabriel M. Kuper, David Toman 0001	Variable Independence in Constraint Databases.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	aggregation, integrity constraints, closure, spatiotemporal databases, Constraint databases
20	Martin Fränzle, Christian Herde	Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems.	LPAR	2003	DBLP DOI BibTeX RDF	non-clausal propositional logic, zero-one linear constraint systems, Satisfiability, proof search, acceleration techniques
20	Eckhard Bick	A Constraint Grammar Based Question Answering System for Portuguese.	EPIA	2003	DBLP DOI BibTeX RDF	Constraint Grammar (CG), Named Entity Recognition (NER), Information Extraction (IE), Question Answering (QA)
20	Meinolf Sellmann, Kyriakos Zervoudakis, Panagiotis Stamatopoulos, Torsten Fahle	Crew Assignment via Constraint Programming: Integrating Column Generation and Heuristic Tree Search.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	airline crew assignment, hybrid OR-CP method, constraint programming based column generation, set partitioning
20	Ulrich John, Ulrich Geske	Konfiguration komplexer Produkte mit Constraint-basierter Modellierung.	Inform. Forsch. Entwickl.	2002	DBLP DOI BibTeX RDF	Konfiguration, Rekonfiguration, Constraint-Programmierung, Entscheidungsunterstützung, Simulation, Modellierung
20	Shane Sendall, Alfred Strohmeier	Using OCL and UML to Specify System Behavior.	Object Modeling with the OCL	2002	DBLP DOI BibTeX RDF	Pre- and Postcondition Assertions, Unified Modeling Language, Requirements Analysis, Object Constraint Language, Software Specification
20	Greg J. Badros, Alan Borning, Peter J. Stuckey	The Cassowary linear arithmetic constraint solving algorithm.	ACM Trans. Comput. Hum. Interact.	2001	DBLP DOI BibTeX RDF	Cassowary, constraint-solving toolkit, user interface, constraints
20	Minsoo Ryu, Jungkeun Park, Seongsoo Hong	Timing Constraint Remapping to Achieve Time Equi-Continuity in Distributed Real-Time Systems.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	timing constraint transformation, real-time scheduling, clock synchronization, Distributed real-time system
20	Silvia Regina Vergilio, José Carlos Maldonado, Mário Jino	Constraint Based Criteria: An Approach for Test Case Selection in the Structural Testing.	J. Electron. Test.	2001	DBLP DOI BibTeX RDF	structural testing criteria, constraint based testing, mutation analysis
20	Jae-Jin Kim, Hi-Seok Kim, Chi-Ho Lin	A new techology mapping for CPLD under the time constraint.	ASP-DAC	2001	DBLP DOI BibTeX RDF	feasible cluster, number of multi-level, technology mapping for CPLD, time constraint
20	Kenny Qili Zhu, Wee-Yeh Tan, Andrew E. Santosa, Roland H. C. Yap	Reactive Web Agents with Open Constraint Programming.	ISADS	2001	DBLP DOI BibTeX RDF	multi-agent systems, constraint programming, Web agents
20	Chi-Kin Chau, Kwang Mong Sim	Engineering Fuzzy Constraint Satisfaction Agents for Multi-user Timetable Scheduling.	Active Media Technology	2001	DBLP DOI BibTeX RDF	fuzzy constraint satisfaction, multi-user timetabling, agent
20	Philippe Codognet, Daniel Diaz 0001	Yet Another Local Search Method for Constraint Solving.	SAGA	2001	DBLP DOI BibTeX RDF	combinatorial optimization, Local search, constraint solving, search algorithms
20	Simon White, Derek H. Sleeman	A grammar-driven knowledge acquisition tool that incorporates constraint propagation.	K-CAP	2001	DBLP DOI BibTeX RDF	SCREAMER+, constraint-augmented grammars, constraints, knowledge acquisition, formal grammars
20	Nicoleta Neagu	Exploiting the CSP Structure by Interchangeability.	CP	2001	DBLP DOI BibTeX RDF	constraint satisfaction problem, interchangeability
20	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi	View-Based Query Processing and Constraint Satisfaction.	LICS	2000	DBLP DOI BibTeX RDF	view-based query answering, view-based query rewriting, databases, constraint satisfaction, semistructured data
20	Paolo Mancarella, Alessandra Raffaetà, Franco Turini	Temporal Annotated Constraint Logic Programming with Multiple Theories.	DEXA Workshops	1999	DBLP DOI BibTeX RDF	meta-logic, knowledge representation, temporal reasoning, constraint logic programming
20	Romuald Debruyne	A Strong Local Consistency for Constraint Satisfaction.	ICTAI	1999	DBLP DOI BibTeX RDF	constraint satisfaction, local consistency
20	Eduard Cerny, Fen Jin	Verification of Real Time Controllers Against Timing Diagram Specifications Using Constraint Logic Programming.	ICCD	1999	DBLP DOI BibTeX RDF	Interface verification, interface controllers, relational interval arithmetic, constraint logic programming, timing verification, timing diagrams
20	Shubha Chakravarty, Yuval Shahar	A Constraint-Based Specification of Periodic Patterns in Time-Oriented Data.	TIME	1999	DBLP DOI BibTeX RDF	patterns, temporal databases, periodicity, constraint-based reasoning
20	Alessandra Di Pierro, Herbert Wiklicky	An Operational Semantics for Probabilistic Concurrent Constraint Programming.	ICCL	1998	DBLP DOI BibTeX RDF	Concurrency, Probability, Constraint Programming, Operational Semantics, Nondeterminism
20	Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi	Proving Concurrent Constraint Programs Correct.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	strongest postcondition, constraint programming, dynamic scheduling, proof theory
20	Vitaly Telerman, Vladimir Sidorov, Dmitry Ushakov	Object-Oriented Constraint Programming Environment NeMo+ and Its Applications.	ICTAI	1997	DBLP DOI BibTeX RDF	subdefinite models, object-oriented programming, constraint programming
20	Yi Tao 0001, William I. Grosky, Chunnian Liu	An Automatic Partial Deduction System for Constraint Logic Programs.	ICTAI	1997	DBLP DOI BibTeX RDF	partial deduction(partial evaluation), CLP(Bool), CLP(R), Prolog, constraint logic programming
20	Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens	Global Analysis of Constraint Logic Programs.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	global program analysis, program analysis, abstract interpretation, constraint logic programming
20	Alex Quilici, Steven Woods	Toward a Constraint-Satisfaction Framework for Evaluating Program-Understanding Algorithms.	WPC	1996	DBLP DOI BibTeX RDF	Constraint Satisfaction, Program understanding, Algorithm evaluation
20	Lotfi A. Zadeh	Inference in Fuzzy Logic via Generalized Constraint Propagation.	ISMVL	1996	DBLP DOI BibTeX RDF	generalized constraint propagation, fuzzy logic, fuzzy logic, inference, inference mechanisms, computing with words
20	Yves Caseau	Constraint satisfaction with an object-oriented knowledge representation language.	Appl. Intell.	1994	DBLP DOI BibTeX RDF	object-oriented programming, knowledge representation, Constraint satisfaction
20	Flavio Bonfatti, Paola Daniela Monari, Paolo Paganelli	Object-Oriented Constraint Analysis in Complex Applications.	DEXA	1994	DBLP DOI BibTeX RDF	constraint representation, conceptual modelling, object-oriented analysis
20	Kim Marriott, Peter J. Stuckey	Semantics of Constraint Logic Programs with Optimization.	LOPLAS	1993	DBLP DOI BibTeX RDF	semantics, constraint logic programming
20	Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, Robert A. G. Seely	A Hyperdoctrinal View of Concurrent Constraint Programming.	REX Workshop	1992	DBLP DOI BibTeX RDF	hyperdoctrines, constraint programs, asynchronous systems, closure operators, fibrations
20	Isabelle Comyn-Wattiau, Mokrane Bouzeghoub	Constraint Confrontation: An Important Step in View Integration.	CAiSE	1992	DBLP DOI BibTeX RDF	deductive process, conflict resolution, database design, integrity constraint, forward chaining, view integration
19	Martin E. Dyer, David Richerby	On the complexity of #CSP.	STOC	2010	DBLP DOI BibTeX RDF	complexity dichotomy, constraint satisfaction problem, counting problems
19	Elham Sahebkar Khorasani, Shahram Rahimi 0001, Bidyut Gupta	A Reasoning Methodology for CW-Based Question Answering Systems.	WILF	2009	DBLP DOI BibTeX RDF	Reasoning methodology, Generalized Constraint, Question Answering, Computing with Words
19	Cristina Borralleras, Salvador Lucas, Rafael Navarro-Marset, Enric Rodríguez-Carbonell, Albert Rubio	Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic.	CADE	2009	DBLP DOI BibTeX RDF	polynomial constraints, SAT modulo theories, program analysis, termination, Constraint solving
19	René Vidal, Richard I. Hartley	Three-View Multibody Structure from Motion.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	multibody structure from motion, 3-D motion segmentation, multibody trilinear constraint, multibody trifocal tensor and Generalized PCA (GPCA)
19	Carlos Olarte, Frank D. Valencia	The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security.	PPDP	2008	DBLP DOI BibTeX RDF	first-order linear temporal logic, security protocols, closure operators, concurrent constraint programming
19	Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey	Removing propagation redundant constraints in redundant modeling.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	redundant constraints, redundant modeling, Constraint propagation
19	Xiaonan Ji, James Bailey 0001, Guozhu Dong	Mining minimal distinguishing subsequence patterns with gap constraints.	Knowl. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Gap constraint, Contrast pattern, Sequential pattern, Frequent pattern, Emerging pattern, Data mining algorithm
19	Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh	The Complexity of Reasoning with Global Constraints.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Generalized arc consistency, Computational complexity, Constraint propagation, Global constraints
19	René Vidal, Yi Ma 0001, Stefano Soatto, Shankar Sastry 0001	Two-View Multibody Structure from Motion.	Int. J. Comput. Vis.	2006	DBLP DOI BibTeX RDF	multibody structure from motion, 3-D motion segmentation, multibody epipolar constraint, multibody fundamental matrix, Generalized PCA (GPCA)
19	Chunhong Cao, Bin Zhang 0001, Limin Wang, Wenhui Li 0002	The Parametric Design Based on Organizational Evolutionary Algorithm.	PRICAI	2006	DBLP DOI BibTeX RDF	organizational evolutionary algorithm, split operator, merging operator, coordinating operator, geometric constraint solving, parametric design
19	Malek Mouhoub	Reasoning with Numeric and Symbolic Time Information.	Artif. Intell. Rev.	2004	DBLP DOI BibTeX RDF	constraint satisfaction techniques, scheduling, approximation algorithms, planning, temporal reasoning
19	Vincent Simonet	An extension of HM(X) with bounded existential and universal data-types.	ICFP	2003	DBLP DOI BibTeX RDF	existential and universal data-types, structural subtyping, constraint-based type inference
19	Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi	Integrating finite domain constraints and CLP with sets.	PPDP	2003	DBLP DOI BibTeX RDF	programming with sets, constraint logic programming
19	Miguel García-Díaz, Susana Nieva	Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms.	FLOPS	2002	DBLP DOI BibTeX RDF	hereditary Harrop formulas, finite symbolic trees, first-order logic, real numbers, constraint systems
19	Evangeline F. Y. Young, Chris C. N. Chu, M. L. Ho	A Unified Method to Handle Different Kinds of Placement Constraints in Floorplan Design.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	placement constraint, physical design, floorplanning
19	Slim Abdennadher, Christophe Rigotti	Generation of Propagation Rules for Intentionally Defined Constraints.	ICTAI	2001	DBLP DOI BibTeX RDF	Machine learning, Constraint solving, Rule-based programming
19	David A. Cohen, Peter Jeavons 0001, Peter Jonsson, Manolis Koubarakis	Building tractable disjunctive constraints.	J. ACM	2000	DBLP DOI BibTeX RDF	disjunctive constraints, complexity, NP-completeness, constraint satisfaction problem, relations, independence
19	Andrea Panati	Non Binary CSPs and Heuristics for Modeling and Diagnosing Dynamic Systems.	AI*IA	1999	DBLP DOI BibTeX RDF	constraint programming heuristics, non-binary constraints, diagnosis, qualitative modeling
19	Kalle Åström, Anders Heyden	Continuous Time Matching Constraints for Image Streams.	Int. J. Comput. Vis.	1998	DBLP DOI BibTeX RDF	multilinear constraint, uncalibrated, calibrated camera, optical flow, motion, structure
19	Amnon Meisels, Natalia Lusternik	Experiments on Networks of Employee Timetabling Problems.	PATAT	1997	DBLP DOI BibTeX RDF	Employee Timetabling, Experimental CSP, Non binary constraints, Constraint Networks
19	Christian Bliek, Christophe Jermann, Arnold Neumaier (eds.)	Global Optimization and Constraint Satisfaction, First International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002, Revised Selected Papers	COCOS	2003	DBLP DOI BibTeX RDF
19	Michael R. Bussieck, Arne Stolbjerg Drud, Alexander Meeraus, Armin Pruessner	Quality Assurance and Global Optimization.	COCOS	2002	DBLP DOI BibTeX RDF
19	Aurélien Schmied	A Global Constrained Optimization Algorithm for Engine Calibration.	COCOS	2002	DBLP DOI BibTeX RDF	Global constrained optimization, engine calibration, stochastic algorithm
19	Didier Henrion, Jean B. Lasserre	Solving Global Optimization Problems over Polynomials with GloptiPoly 2.1.	COCOS	2002	DBLP DOI BibTeX RDF
19	Christian Jansson	Rigorous Error Bounds for the Optimal Value of Linear Programming Problems.	COCOS	2002	DBLP DOI BibTeX RDF	rigorous error bounds, linear programming, branch-and-bound, sensitivity analysis, interval arithmetic
19	Evgueni Petrov	Symbolic-Interval Heuristic for Bound-Constrained Minimization.	COCOS	2002	DBLP DOI BibTeX RDF
19	Ivo Nowak, Hernán Alperin, Stefan Vigerske	LaGO - An Object Oriented Library for Solving MINLPs.	COCOS	2002	DBLP DOI BibTeX RDF	convex relaxation, heuristics, software, decomposition, Mixed integer nonlinear programming
19		The COPRIN Project: Minimal and Maximal Real Roots of Parametric Polynomials Using Interval Analysis.	COCOS	2002	DBLP DOI BibTeX RDF	parametric polynomial, eigenvalues, interval analysis
19	G. William Walster, Eldon R. Hansen	Computing Interval Parameter Bounds from Fallible Measurements Using Overdetermined (Tall) Systems of Nonlinear Equations.	COCOS	2002	DBLP DOI BibTeX RDF
19	Fabio Tardivo, Agostino Dovier, Andrea Formisano 0001, Laurent Michel, Enrico Pontelli	Constraint Propagation on GPU: A Case Study for the Cumulative Constraint.	CPAIOR	2023	DBLP DOI BibTeX RDF
19	Alex Mattenet, Ian Davidson, Siegfried Nijssen, Pierre Schaus	Generic Constraint-Based Block Modeling Using Constraint Programming.	CP	2019	DBLP DOI BibTeX RDF
19	Anna L. D. Latour, Behrouz Babaki, Anton Dries, Angelika Kimmig, Guy Van den Broeck, Siegfried Nijssen	Combining Stochastic Constraint Optimization and Probabilistic Programming - From Knowledge Compilation to Constraint Solving.	CP	2017	DBLP DOI BibTeX RDF
19	Sebastian Krings, Michael Leuschel	Constraint Logic Programming over Infinite Domains with an Application to Proof.	WLP / WFLP	2017	DBLP DOI BibTeX RDF
19	Amina Kemmar, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Thierry Charnois	A Global Constraint for Mining Sequential Patterns with GAP Constraint.	CPAIOR	2016	DBLP DOI BibTeX RDF
19	Benjamin Négrevergne, Tias Guns	Constraint-Based Sequence Mining Using Constraint Programming.	CPAIOR	2015	DBLP DOI BibTeX RDF
19	Johannes Waldmann	Automated Exercises for Constraint Programming.	WLP/WFLP	2014	DBLP BibTeX RDF
19	Alexander Bau, Johannes Waldmann	Describing and Measuring the Complexity of SAT encodings for Constraint Programs.	WLP/WFLP	2014	DBLP BibTeX RDF
19	Julien Martin, Thierry Martinez, François Fages	Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming.	CSCLP	2009	DBLP DOI BibTeX RDF
19	Julien Vion, Thierry Petit, Narendra Jussien	Integrating Strong Local Consistencies into Constraint Solvers.	CSCLP	2009	DBLP DOI BibTeX RDF
19	Richard J. Wallace, Diarmuid Grimes, Eugene C. Freuder	Dynamic Constraint Satisfaction Problems: Relations among Search Strategies, Solution Sets and Algorithm Performance.	CSCLP	2009	DBLP DOI BibTeX RDF
19	Armin Wolf	Constraint-Based Modeling and Scheduling of Clinical Pathways.	CSCLP	2009	DBLP DOI BibTeX RDF
19	Ulrich Junker	Preference-Based Problem Solving for Constraint Programming.	CSCLP	2007	DBLP DOI BibTeX RDF
19	Dina Q. Goldin	Taking Constraints out of Constraint Databases.	CDB	2004	DBLP DOI BibTeX RDF
19	Mengchu Cai	Integrating Constraint and Relational Database Systems.	CDB	2004	DBLP DOI BibTeX RDF
19	Viswanathan Ramanathan, Peter Z. Revesz	Constraint Database Solutions to the Genome Map Assembly Problem.	CDB	2004	DBLP DOI BibTeX RDF
19	Anagh Lal, Berthe Y. Choueiry	Constraint Processing Techniques for Improving Join Computation: A Proof of Concept.	CDB	2004	DBLP DOI BibTeX RDF
19	María Teresa Gómez-López, Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle	Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-based Diagnosis.	CDB	2004	DBLP DOI BibTeX RDF
19	Arathi Ramani, Igor L. Markov	Automatically Exploiting Symmetries in Constraint Programming.	CSCLP	2004	DBLP DOI BibTeX RDF
19	Armin Wolf	Better Propagation for Non-preemptive Single-Resource Constraint Problems.	CSCLP	2004	DBLP DOI BibTeX RDF
19	Hans Schlenker, Frank Rehberger	Towards a More General Distributed Constraint Satisfaction Framework: Intensional vs. Extensional Constraint Representation.	WLP	2000	DBLP BibTeX RDF
19	Mark Wallace	How Constraint Logic Programming Unlocks Constraint Technology.	PACT	1997	DBLP BibTeX RDF
19	Eric Boucher, Astrid Bachelu, Christophe Varnier, Pierre Baptiste, Bruno Legeard	Multi-criteria Comparison Between Algorithmic, Constraint Logic and Specific Constraint Programming on a Real Schedulingt Problem.	PACT	1997	DBLP BibTeX RDF
19	Daniel P. Miranker, Roberto J. Bayardo Jr., Vasilis Samoladas	Query Evaluation as Constraint Search; An Overview of Early Results.	CDB	1997	DBLP DOI BibTeX RDF
19	Alexander Brodsky 0001, Victor E. Segal	The C3 Constraint Object-Oriented Database System: An Overview.	CDB	1997	DBLP DOI BibTeX RDF
19	Suad Alagic	A Temporal Constraint System for Object-Oriented Databases.	CDB	1997	DBLP DOI BibTeX RDF
19	Stéphane Bressan, Alan P. Sexton, Mark Wallace 0001	Implementing Index Data Structures Using Constraint Logic Programming.	CDB	1997	DBLP DOI BibTeX RDF
19	Elisa Bertino, Barbara Catania, Stéphane Bressan	Integrity Constraint Checking in Chimera.	CDB	1997	DBLP DOI BibTeX RDF
19	Yujun Wang, Baile Shi, Yunyao Qu	Decomposition and Lossless Join in Constraint Databases.	CDB	1997	DBLP DOI BibTeX RDF
19	Peter Z. Revesz	Problem Solving in the DISCO Constraint Database System.	CDB	1997	DBLP DOI BibTeX RDF
19	David Toman 0001	Constraint Databases and Program Analysis Using Abstract Interpretation.	CDB	1997	DBLP DOI BibTeX RDF
19	David Toman 0001	Computing the Well-Founded Semantics for Constraint Extensions of Datalog.	CDB	1997	DBLP DOI BibTeX RDF
19	Volker Gaede, Mark Wallace 0001	An Informal Introduction to Constraint Database Systems.	CDB	1997	DBLP DOI BibTeX RDF
19	Cesare Tinelli, Mehdi T. Harandi	Constraint Logic Programming over Unions of Constraint Theories.	CP	1996	DBLP DOI BibTeX RDF
19	Roberto Bagnara	Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages.	CCP	1995	DBLP BibTeX RDF
19	Alan Borning, Bjørn N. Freeman-Benson	The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces.	CP	1995	DBLP DOI BibTeX RDF
19	Ying Zhang, Alan K. Mackworth	Constraint Programming in Constraint Nets.	PPCP	1993	DBLP BibTeX RDF
19	Ugo Montanari, Francesca Rossi 0001	Constraint Satisfaction, Constraint Programming, and Concurrency.	PPCP	1993	DBLP BibTeX RDF