Search results for "constraint-satisfaction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
98	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
82	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
79	Manuel Bodirsky, Marcello Mamino	Constraint Satisfaction Problems over Numeric Domains.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
79	Mark Jerrum	Counting Constraint Satisfaction Problems.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
79	Gregory Z. Gutin, Anders Yeo	Parameterized Constraint Satisfaction Problems: a Survey.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
79	Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin	09441 Abstracts Collection - The Constraint Satisfaction Problem: Complexity and Approximability.	The Constraint Satisfaction Problem: Complexity and Approximability	2009	DBLP BibTeX RDF
79	Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin	09441 Executive Summary - The Constraint Satisfaction Problem: Complexity and Approximability.	The Constraint Satisfaction Problem: Complexity and Approximability	2009	DBLP BibTeX RDF
75	Nicoleta Neagu	Studying Interchangeability in Constraint Satisfaction Problems.	CP	2002	DBLP DOI BibTeX RDF	soft constraint satisfaction problems, constraint satisfaction problem, interchangeability
69	Young U. Ryu	Approximate Constraint Satisfaction Over a Constraint Hierarchy: A Preliminary Study.	HICSS (5)	1998	DBLP DOI BibTeX RDF
68	Phokion G. Kolaitis	Constraint Satisfaction, Complexity, and Logic.	SETN	2004	DBLP DOI BibTeX RDF
67	Miguel A. Salido, Federico Barber	Exploiting the Constrainedness in Constraint Satisfaction Problems.	AIMSA	2004	DBLP DOI BibTeX RDF	complexity, heuristic search, Constraint Satisfaction Problems
65	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
64	Andrei A. Krokhin, Stanislav Zivný (eds.)	The Constraint Satisfaction Problem: Complexity and Approximability	The Constraint Satisfaction Problem	2017	DBLP BibTeX RDF
64		Front Matter, Table of Contents, Preface, List of Authors.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
64	Libor Barto, Marcin Kozik	Absorption in Universal Algebra and CSP.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
64	Andrei A. Krokhin, Stanislav Zivný	The Complexity of Valued CSPs.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
64	Martin C. Cooper, Stanislav Zivný	Hybrid Tractable Classes of Constraint Problems.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
64	Libor Barto, Andrei A. Krokhin, Ross Willard	Polymorphisms, and How to Use Them.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
64	Konstantin Makarychev, Yury Makarychev	Approximation Algorithms for CSPs.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
64	Heng Guo 0001, Pinyan Lu	On the Complexity of Holant Problems.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
64	Benoît Larose	Algebra and the Complexity of Digraph CSPs: a Survey.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
64	Serge Gaspers, Sebastian Ordyniak, Stefan Szeider	Backdoor Sets for CSP.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
64	Barnaby Martin	Quantified Constraints in Twenty Seventeen.	The Constraint Satisfaction Problem	2017	DBLP DOI BibTeX RDF
64	Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin (eds.)	The Constraint Satisfaction Problem: Complexity and Approximability, 25.10. - 30.10.2009	The Constraint Satisfaction Problem: Complexity and Approximability	2009	DBLP BibTeX RDF
64	Barnaby Martin, Jos Martin	The complexity of positive first-order logic without equality II: The four-element case.	The Constraint Satisfaction Problem: Complexity and Approximability	2009	DBLP BibTeX RDF
64	Ross Willard	PP-DEFINABILITY IS CO-NEXPTIME-COMPLETE.	The Constraint Satisfaction Problem: Complexity and Approximability	2009	DBLP BibTeX RDF
64	Matthew Valeriote, Simone Bova, Hubie Chen	On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas.	The Constraint Satisfaction Problem: Complexity and Approximability	2009	DBLP BibTeX RDF
62	Víctor Dalmau	A new tractable class of constraint satisfaction problems.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	para-primal algebra, complexity, constraint satisfaction problem
61	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
61	Syed Sibte Raza Abidi, Yong Han Chong, Yan Zeng	Generating customized yet factually consistent information: a constraint satisfaction approach.	Int. J. Digit. Libr.	2006	DBLP DOI BibTeX RDF	Information customization, Information personalization, E-Healthcare, Constraint satisfaction, Adaptive hypermedia systems
60	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
60	Manuel Bodirsky, Jan Kára	The complexity of temporal constraint satisfaction problems.	STOC	2008	DBLP DOI BibTeX RDF	complexity, constraint satisfaction, temporal reasoning
59	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
59	Manuel Bodirsky, Hubie Chen	Relatively quantified constraint satisfaction.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Quantified constraint satisfaction, Computational complexity
59	Ákos Horváth 0001, Dániel Varró	CSP(M): Constraint Satisfaction Problem over Models.	MoDELS	2009	DBLP DOI BibTeX RDF	Constraint satisfaction programming, graph transformation
58	Oleg Shcherbina, Arnold Neumaier, Djamila Sam-Haroud, Xuan-Ha Vu, Tuan-Viet Nguyen	Benchmarking Global Optimization and Constraint Satisfaction Codes.	COCOS	2002	DBLP DOI BibTeX RDF
58	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
58	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
58	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
58	Moshe Y. Vardi	Constraint Satisfaction and Database Theory: a Tutorial.	PODS	2000	DBLP DOI BibTeX RDF
56	Stefan S. Dantchev, Florent R. Madelaine	Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems.	CSR	2006	DBLP DOI BibTeX RDF	Constraint Satisfaction, Duality, Monadic Second Order Logic, Logic in Computer Science, Graph Homomorphism
56	Gabriel Istrate, Stefan Boettcher, Allon G. Percus	Spines of random constraint satisfaction problems: definition and connection with computational complexity.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	resolution complexity, constraint satisfaction problems, phase transitions, spine
53	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
53	Moshe Y. Vardi	Constraints, Graphs, Algebra, Logic, and Complexity.	TAMC	2009	DBLP DOI BibTeX RDF
53	Phokion G. Kolaitis, Moshe Y. Vardi	A Logical Approach to Constraint Satisfaction.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
53	Stefano Bistarelli, Eugene C. Freuder, Barry O'Sullivan	Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints.	ICTAI	2004	DBLP DOI BibTeX RDF
52	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
52	Roman Barták, Daniel Toropila	Constraint Models for Sequential Planning.	CPAIOR	2009	DBLP DOI BibTeX RDF
51	Lin Wang 0038, Wee Keong Ng, Bing Song	Constraint Satisfaction Approach on Product Configuration with Cost Estimation.	IEA/AIE	2009	DBLP DOI BibTeX RDF	Constraint satisfaction problem, Cost estimation, Product family, Mass customization, Product configuration
51	Martin C. Cooper	High-Order Consistency in Valued Constraint Satisfaction.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	discrete optimisation, valued constraint satisfaction, consistency enforcing, MAX-CSP, soft constraints
51	Esther M. Gelle, Boi Faltings, Denis E. Clément, Ian F. C. Smith	Constraint Satisfaction Methods for Applications in Engineering.	Eng. Comput.	2000	DBLP BibTeX RDF	Discrete values, Dynamic CSP's, Solution spaces, Search, Knowledge representation, Constraint satisfaction, Reasoning, Structures, Local consistency
51	Nikolaos V. Sahinidis	Global Optimization and Constraint Satisfaction: The Branch-and-Reduce Approach.	COCOS	2002	DBLP DOI BibTeX RDF
51	Xuan-Ha Vu, Djamila Sam-Haroud, Marius-Calin Silaghi	Numerical Constraint Satisfaction Problems with Non-isolated Solutions.	COCOS	2002	DBLP DOI BibTeX RDF
51	Huan Ren, Shantanu Dutt	Constraint satisfaction in incremental placement with application to performance optimization under power constraints.	ICCD	2007	DBLP DOI BibTeX RDF
51	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
50	Miguel A. Salido, Federico Barber	Constrainedness and Redundancy by Constraint Ordering.	IBERAMIA	2004	DBLP DOI BibTeX RDF	constrainedness, heuristics, Constraint Satisfaction Problems
49	Nadia Creignou, Henning Schnoor, Ilka Schnoor	Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint.	CSL	2008	DBLP DOI BibTeX RDF
49	Malek Mouhoub, Amrudee Sukpan	Solving conditional and composite constraint satisfaction problems.	SAC	2007	DBLP DOI BibTeX RDF	local search, constraint satisfaction, arc consistency
49	David A. Cohen, Peter Jeavons 0001, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith	Symmetry Definitions for Constraint Satisfaction Problems.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Symmetry, Constraint satisfaction problems
49	Abdulwahed M. Abbas, Edward P. K. Tsang	Constraint-Based Timetabling-A Case Study.	AICCSA	2001	DBLP DOI BibTeX RDF	software engineering, Constraint-Satisfaction, timetabling
49	Catarina Carvalho, Víctor Dalmau, Andrei A. Krokhin	Caterpillar Duality for Constraint Satisfaction Problems.	LICS	2008	DBLP DOI BibTeX RDF	caterpillar structures, Datalog, duality, constraint satisfaction problem, homomorphism
49	Martin Grohe	The complexity of homomorphism and constraint satisfaction problems seen from the other side.	J. ACM	2007	DBLP DOI BibTeX RDF	Complexity, constraint satisfaction, conjunctive queries, homomorphisms, parameterized complexity
49	Haruhisa Nozue, Hajime Nakajima, Haruo Oishi, Takeshi Masuda, Tetsuya Yamamura	Process Control Technique Using Planning and Constraint Satisfaction.	APNOMS	2007	DBLP DOI BibTeX RDF	workflow, planning, constraint satisfaction, process control
49	Patrick W. Yaner, Ashok K. Goel 0001	Visual analogy: Viewing analogical retrieval and mapping as constraint satisfaction problems.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Analogical retrieval, Analogical mapping, Constraint satisfaction, Analogical reasoning, Visual reasoning
49	Roger Mailler	Comparing two approaches to dynamic, distributed constraint satisfaction.	AAMAS	2005	DBLP DOI BibTeX RDF	cooperative mediation, dynamic partial centralization, dynamic, distributed constraint satisfaction
49	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
49	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
49	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
48	Barry O'Sullivan, Alex Ferguson, Eugene C. Freuder	Boosting Constraint Satisfaction Using Decision Trees.	ICTAI	2004	DBLP DOI BibTeX RDF
48	Michael J. Maher	A Synthesis of Constraint Satisfaction and Constraint Solving.	CP	2003	DBLP DOI BibTeX RDF
47	Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith	Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Model redundancy, Constraint satisfaction
47	Heribert Vollmer	Computational Complexity of Constraint Satisfaction.	CiE	2007	DBLP DOI BibTeX RDF	computational complexity, constraint satisfaction, polymorphism, clone, Galois connection, satisfiability problems
46	R. Kowalczyk	Using constraint satisfaction in genetic algorithms.	ANZIIS	1996	DBLP DOI BibTeX RDF
45	Syed Sibte Raza Abidi, Yong Han Chong	Constraint Satisfaction Methods for Information Personalization.	Canadian AI	2004	DBLP DOI BibTeX RDF
45	Xiaolong Jin, Jiming Liu 0001	Efficiency of Emergent Constraint Satisfaction in Small-world and Random Agent Networks.	IAT	2003	DBLP DOI BibTeX RDF
45	Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker	Distributed Configuration as Distributed Dynamic Constraint Satisfaction.	IEA/AIE	2001	DBLP DOI BibTeX RDF
45	Makoto Yokoo, Katsutoshi Hirayama	The Effect of Nogood Learning in Distributed Constraint Satisfaction.	ICDCS	2000	DBLP DOI BibTeX RDF
45	Katsutoshi Hirayama, Makoto Yokoo, Katia P. Sycara	The Phase Transition in Distributed Constraint Satisfaction Problems: Fist Results.	CP	2000	DBLP DOI BibTeX RDF
45	Klaus Meer	On Consistency and Width Notions for Constraint Programs with Algebraic Constraints.	FLOPS	2002	DBLP DOI BibTeX RDF	algebraic constraint satisfaction problems, backtrack-free algorithms, consistency, width
45	Hubie Chen	Quantified Constraint Satisfaction, Maximal Constraint Languages, and Symmetric Polymorphisms.	STACS	2005	DBLP DOI BibTeX RDF
44	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
44	Ernest Rotterdam, Sieger van Denneheuvel, Pim Hennis, Peter van Emde Boas	Resolution of Constraint Inconsistency with the Aim to Provide Support in Anaesthesia.	DEXA	1993	DBLP DOI BibTeX RDF	Expert Systems Architecture, Constraint Satisfaction, Medical Information Systems
44	Dániel Marx	Tractable hypergraph properties for constraint satisfaction and conjunctive queries.	STOC	2010	DBLP DOI BibTeX RDF	submodular width, constraint satisfaction, conjunctive queries, fixed-parameter tractability
44	Sean A. Bittle, Mark S. Fox	Learning and using hyper-heuristics for variable and value ordering in constraint satisfaction problems.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	constrained heuristic search, variable and value ordering, constraint satisfaction, hyper-heuristics, soar
44	Jun Miura, Hiroyuki Kubo	Tracking players in highly complex scenes in broadcast soccer video using a constraint satisfaction approach.	CIVR	2008	DBLP DOI BibTeX RDF	broadcast soccer video, player tracking, constraint satisfaction
44	Laurent Granvilliers, Frédéric Benhamou	Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques.	ACM Trans. Math. Softw.	2006	DBLP DOI BibTeX RDF	interval Newton, constraint satisfaction, Interval arithmetic, nonlinear system, local consistency
44	Andrei A. Bulatov	A dichotomy theorem for constraint satisfaction problems on a 3-element set.	J. ACM	2006	DBLP DOI BibTeX RDF	dichotomy theorem, homomorphism problem, complexity, Constraint satisfaction problem
44	Ilié Popescu	Using Finite Domains in Constraint Satisfaction Problem.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	consistency, Constraint satisfaction problem, search space
44	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
44	Luc Jaulin	Consistency Techniques for the Localization of a Satellite.	COCOS	2002	DBLP DOI BibTeX RDF
43	Armin Wolf	Projection in Adaptive Constraint Handling.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
43	Yong Gao 0001, Joseph C. Culberson	Consistency and Random Constraint Satisfaction Models with a High Constraint Tightness.	CP	2004	DBLP DOI BibTeX RDF
41	Lars Engebretsen, Venkatesan Guruswami	Is Constraint Satisfaction Over Two Variables Always Easy?	RANDOM	2002	DBLP DOI BibTeX RDF
41	Inès Ben Jaâfar, Naoufel Khayati, Khaled Ghédira	Multicriteria Optimization in CSPs : Foundations and Distributed Solving Approach.	AIMSA	2004	DBLP DOI BibTeX RDF	nogoods exchange, multi-Agent systems, constraint satisfaction problem, distributed problem solving, multicriteria optimization, cooperative agents
41	Nicoleta Neagu, Boi Faltings	Soft Interchangeability for Case Adaptation.	ICCBR	2003	DBLP DOI BibTeX RDF	case adaptation, hard/soft constraint satisfaction problems, substitutability, interchangeability
41	Hyun-Jin Lee, Sang-Jin Cha, Young-Hoon Yu, GeunSik Jo	Large Neighborhood Search Using Constraint Satisfaction Techniques in Vehicle Routing Problem.	Canadian AI	2009	DBLP DOI BibTeX RDF	Constraint Satisfaction Problem, Vehicle Routing Problem
41	José Carlos Ortiz-Bayliss, Hugo Terashima-Marín, Peter Ross, Jorge Iván Fuentes-Rosado, Manuel Valenzuela-Rendón	A neuro-evolutionary approach to produce general hyper-heuristics for the dynamic variable ordering in hard binary constraint satisfaction problems.	GECCO	2009	DBLP DOI BibTeX RDF	neuro-evolutionary computation, optimization, constraint satisfaction, hyper-heuristics
41	Ferenc Domes, Arnold Neumaier	A scaling algorithm for polynomial constraint satisfaction problems.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Scaling algorithms, Optimization, Constraint satisfaction problems
41	Henning Schnoor, Ilka Schnoor	Partial Polymorphisms and Constraint Satisfaction Problems.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF	partial polymorphisms, computational complexity, constraint satisfaction problems, clones
41	Heekyong Park, Jinwook Choi	Modeling korean clinical records as a simple temporal constraint satisfaction problem.	JCDL	2008	DBLP DOI BibTeX RDF	clinical records, discharge summaries, simple constraint satisfaction problem, stp, temporal information