Search results for "constraint satisfaction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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	Nicoleta Neagu	Studying Interchangeability in Constraint Satisfaction Problems.	CP	2002	DBLP BibTeX RDF	soft constraint satisfaction problems, constraint satisfaction problem, interchangeability
4	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
3	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
3	Manuel Bodirsky, Hubie Chen	Relatively quantified constraint satisfaction.	Constraints	2009	DBLP DOI BibTeX RDF	Quantified constraint satisfaction, Computational complexity
3	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
3	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
3	Lin Wang, 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
3	Ákos Horváth, Dániel Varró	CSP(M): Constraint Satisfaction Problem over Models.	MoDELS	2009	DBLP DOI BibTeX RDF	Constraint satisfaction programming, graph transformation
3	Hyun-Jin Lee, Sang-Jin Cha, Young-Hoon Yu, GeunSik Jo	Large Neighborhood Search Using Constraint Satisfaction Techniques in Vehicle Routing Problem.	Canadian Conference on AI	2009	DBLP DOI BibTeX RDF	Constraint Satisfaction Problem, Vehicle Routing Problem
3	Ferenc Domes, Arnold Neumaier	A scaling algorithm for polynomial constraint satisfaction problems.	J. Global Optimization	2008	DBLP DOI BibTeX RDF	Scaling algorithms, Optimization, Constraint satisfaction problems
3	Hugo Terashima-Marín, José Carlos Ortiz-Bayliss, Peter Ross, Manuel Valenzuela-Rendón	Hyper-heuristics for the dynamic variable ordering in constraint satisfaction problems.	GECCO	2008	DBLP DOI BibTeX RDF	dynamic variable ordering, evolutionary computation, constraint satisfaction problems, hyper-heuristics
3	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
3	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
3	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
3	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
3	Manuel Bodirsky, Jan Kára	The complexity of temporal constraint satisfaction problems.	STOC	2008	DBLP DOI BibTeX RDF	complexity, constraint satisfaction, temporal reasoning
3	David Lee, Inés Arana, Hatem Ahriz, Kit-Ying Hui	A Hybrid Approach to Distributed Constraint Satisfaction.	AIMSA	2008	DBLP DOI BibTeX RDF	Hybrid Systems, Constraint Satisfaction, Distributed AI
3	Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith	Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems.	Constraints	2007	DBLP DOI BibTeX RDF	Model redundancy, Constraint satisfaction
3	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
3	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
3	Malek Mouhoub, Amrudee Sukpan	Solving conditional and composite constraint satisfaction problems.	SAC	2007	DBLP DOI BibTeX RDF	local search, constraint satisfaction, arc consistency
3	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
3	Vishal Soni, Satinder P. Singh, Michael P. Wellman	Constraint satisfaction algorithms for graphical games.	AAMAS	2007	DBLP DOI BibTeX RDF	constraint satisfaction, graphical games
3	Heribert Vollmer	Computational Complexity of Constraint Satisfaction.	CiE	2007	DBLP DOI BibTeX RDF	computational complexity, constraint satisfaction, polymorphism, clone, Galois connection, satisfiability problems
3	David A. Cohen, Peter Jeavons, Christopher Jefferson, Karen E. Petrie, Barbara M. Smith	Symmetry Definitions for Constraint Satisfaction Problems.	Constraints	2006	DBLP DOI BibTeX RDF	Symmetry, Constraint satisfaction problems
3	Y. Law, J. Lee	Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction.	Constraints	2006	DBLP DOI BibTeX RDF	Value symmetries, Constraint satisfaction, Symmetry breaking
3	Patrick W. Yaner, Ashok K. Goel	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
3	Syed Sibte Raza Abidi, Yong Han Chong, Yan Zeng	Generating customized yet factually consistent information: a constraint satisfaction approach.	Int. J. on Digital Libraries	2006	DBLP DOI BibTeX RDF	Information customization, Information personalization, E-Healthcare, Constraint satisfaction, Adaptive hypermedia systems
3	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
3	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
3	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
3	Doji Samson Lokku, Kesav V. Nori	Morphogenetic constraint-satisfaction based approach for organizational engineering.	SAC	2006	DBLP DOI BibTeX RDF	constraint-satisfaction, systemic, commutation, morphogenesis, organizational engineering
3	Martin C. Cooper	High-Order Consistency in Valued Constraint Satisfaction.	Constraints	2005	DBLP DOI BibTeX RDF	discrete optimisation, valued constraint satisfaction, consistency enforcing, MAX-CSP, soft constraints
3	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
3	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
3	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
3	Jérôme Maloberti, Michèle Sebag	Fast Theta-Subsumption with Constraint Satisfaction Algorithms.	Machine Learning	2004	DBLP DOI BibTeX RDF	k-locality, constraint satisfaction, phase transition, relational learning, meta-learning
3	Jano I. van Hemert, Thomas Bäck	Robust Parameter Settings for Variation Operators by Measuring the Resampling Ratio: A Study on Binary Constraint Satisfaction Problems.	J. Heuristics	2004	DBLP DOI BibTeX RDF	binary constraint satisfaction, variation operators, resampling ratio, searched space, problem difficulty
3	Ilié Popescu	Using Finite Domains in Constraint Satisfaction Problem.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	consistency, Constraint satisfaction problem, search space
3	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
3	Miguel A. Salido, Federico Barber	Exploiting the Constrainedness in Constraint Satisfaction Problems.	AIMSA	2004	DBLP DOI BibTeX RDF	complexity, heuristic search, Constraint Satisfaction Problems
3	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
3	David W. Fowler, Kenneth N. Brown	Branching Constraint Satisfaction Problems and Markov Decision Problems Compared.	Annals OR	2003	DBLP DOI BibTeX RDF	Markov decision problems, uncertainty, constraint satisfaction
3	S. Hamissi, M. Babes	A Neural Approach for Solving the Constraint Satisfaction Problem.	GMAG	2003	DBLP DOI BibTeX RDF	Neural Networks, Artificial Intelligence, Heuristics, Constraint Satisfaction Problem
3	Weixiong Zhang, Zhao Xing, Guandong Wang, Lars Wittenburg	An analysis and application of distributed constraint satisfaction and optimization algorithms in sensor networks.	AAMAS	2003	DBLP DOI BibTeX RDF	distributed breakout, distributed coloring, distributed constraint satisfaction and optimization, distributed stochastic search, sensor networks, object tracking, phase transitions
3	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
3	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
3	Mohamed Tounsi, Philippe David	Successive Search Method for Valued Constraint Satisfaction and Optimization Problems. (PDF / PS)	ICTAI	2001	DBLP DOI BibTeX RDF	VCSP, Constraint Satisfaction, Optimization Problems
3	Esther Gelle, Boi Faltings, Denis E. Clément, Ian F. C. Smith	Constraint Satisfaction Methods for Applications in Engineering.	Eng. Comput. (Lond.)	2000	DBLP BibTeX RDF	Discrete values, Dynamic CSP's, Solution spaces, Search, Knowledge representation, Constraint satisfaction, Reasoning, Structures, Local consistency
3	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
3	Uwe Schöning	A Probabilistic Algorithm for k-SAT and Constraint Satisfaction Problems.	FOCS	1999	DBLP DOI BibTeX RDF	satisfiability, constraint satisfaction problem, local-search algorithm, k-SAT
3	William S. Havens	Extending Dynamic Backtracking for Distributed Constraint Satisfaction Problems.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF	intelligent backtracking, multiagent systems, distributed constraint satisfaction, cooperative problem solving
3	Alex Quilici, Steven Woods	Toward a Constraint-Satisfaction Framework for Evaluating Program-Understanding Algorithms. (PDF / PS)	WPC	1996	DBLP DOI BibTeX RDF	Constraint Satisfaction, Program understanding, Algorithm evaluation
3	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
3	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
3	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
3	Jan Paredis	Co-evolutionary Constraint Satisfaction.	PPSN	1994	DBLP DOI BibTeX RDF	epistatic problems, life-time fitness evaluation, predator-prey systems, genetic algorithms, constraint satisfaction, co-evolution
2	Tomás Werner	Revisiting the Linear Programming Relaxation Approach to Gibbs Energy Minimization and Weighted Constraint Satisfaction.	IEEE Trans. Pattern Anal. Mach. Intell.	2010	DBLP DOI BibTeX RDF	Weighted constraint satisfaction, marginal polytope, cut polytope, tree-reweighted max-product, Markov random field, graphical model, global constraint, linear programming relaxation, Gibbs distribution, cutting-plane algorithm, supermodularity
2	Shinji Nagano, Yoichi Fujimoto, Masahiro Nagamatu	Constraint Satisfaction with Neural Network for Trajectory Planning.	Brain-Inspired Information Technology	2010	DBLP DOI BibTeX RDF
2	Manuel Bodirsky, Martin Hils, Barnaby Martin	On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction.	LICS	2010	DBLP DOI BibTeX RDF	Constraint Satisfaction, Galois Connection, Model Theory
2	Manuel Bodirsky, Jens K. Mueller	The complexity of rooted phylogeny problems.	ICDT	2010	DBLP DOI BibTeX RDF	?-categorical structures, computational complexity, Datalog, constraint satisfaction problems, phylogenetic reconstruction
2	Benjamin Satzger, Faruk Bagci, Florian Kluge, Theo Ungerer	Towards lightweight self-configuration in wireless sensor networks.	SAC	2010	DBLP DOI BibTeX RDF	constraint satisfaction problem (CSP), distributed CSP (DCSP), wireless, self-configuration
2	Mohsen Bayati, David Gamarnik, Prasad Tetali	Combinatorial approach to the interpolation method and scaling limits in sparse random graphs.	STOC	2010	DBLP DOI BibTeX RDF	scaling limit, constraint satisfaction problems, random graphs, partition function
2	Martin E. Dyer, David Richerby	On the complexity of #CSP.	STOC	2010	DBLP DOI BibTeX RDF	complexity dichotomy, constraint satisfaction problem, counting problems
2	Ismel Brito, Amnon Meisels, Pedro Meseguer, Roie Zivan	Distributed constraint satisfaction with partially known constraints.	Constraints	2009	DBLP DOI BibTeX RDF	Distributed CSPs, Asynchronous search, Privacy, Entropy
2	Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren	Dynamic structural symmetry breaking for constraint satisfaction problems.	Constraints	2009	DBLP DOI BibTeX RDF	Dominance detection, CSP, Tractability, Symmetry breaking
2	Moses Charikar, Konstantin Makarychev, Yury Makarychev	Near-optimal algorithms for maximum constraint satisfaction problems.	ACM Transactions on Algorithms	2009	DBLP DOI BibTeX RDF	MAX 2CSP, MAX k-CSP, SDP
2	Michel Minoux, P. Mavrocordatos	Maximum Constraint Satisfaction: Relaxations and Upper Bounds.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Constraint satisfaction, Relaxation
2	Kashif N. Paracha, Azzedine Zerguine, Yahya S. Al-Harthi	Lattice-based soft-constraint satisfaction multi-modulus blind equalization algorithm of order p.	IWCMC	2009	DBLP DOI BibTeX RDF	blind equalization
2	Thomas Léauté, Boi Faltings	Privacy-Preserving Multi-agent Constraint Satisfaction.	CSE	2009	DBLP DOI BibTeX RDF
2	Santiago E. Conant-Pablos, Dulce J. Magaña-Lozano, Hugo Terashima-Marín	Pipelining Memetic Algorithms, Constraint Satisfaction, and Local Search for Course Timetabling.	MICAI	2009	DBLP DOI BibTeX RDF
2	Miki Hermann, Florian Richoux	On the Computational Complexity of Monotone Constraint Satisfaction Problems.	WALCOM	2009	DBLP DOI BibTeX RDF
2	Swapna Reddy, Ya'akov Gal, Stuart M. Shieber	Recognition of Users' Activities Using Constraint Satisfaction.	UMAP	2009	DBLP DOI BibTeX RDF
2	Marcello Balduccini	CR-Prolog as a Specification Language for Constraint Satisfaction Problems.	LPNMR	2009	DBLP DOI BibTeX RDF
2	Libor Barto, Marcin Kozik	Constraint Satisfaction Problems of Bounded Width.	FOCS	2009	DBLP DOI BibTeX RDF	bounded width, constraint satisfaction problem, local consistency
2	Albert Atserias, Mark Weyer	Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems.	CSL	2009	DBLP DOI BibTeX RDF
2	Jorge Muñoz, Germán Gutiérrez, Araceli Sanchís	Evolutionary Genetic Algorithms in a Constraint Satisfaction Problem: Puzzle Eternity II.	IWANN	2009	DBLP DOI BibTeX RDF
2	Christophe Lecoutre, Olivier Roussel	Failed Value Consistencies for Constraint Satisfaction.	CP	2009	DBLP DOI BibTeX RDF
2	David Lee, Inés Arana, Hatem Ahriz, Kit-Ying Hui	A hybrid approach to solving coarse-grained DisCSPs.	AAMAS	2009	DBLP DOI BibTeX RDF	artificial intelligence, constraint satisfaction, distributed problem solving, agent cooperation
2	Madhur Tulsiani	CSP gaps and reductions in the lasserre hierarchy.	STOC	2009	DBLP DOI BibTeX RDF	constraint satisfaction, semidefinite programming, integrality gaps
2	Ali Dasdan	Provably efficient algorithms for resolving temporal and spatial difference constraint violations.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	interface timing, layout compaction, scheduling, real-time systems, constraint satisfaction, timing constraints, Behavioral synthesis, multimedia synchronization, rate analysis
2	Manuel Bodirsky, Miki Hermann, Florian Richoux	Complexity of Existential Positive First-Order Logic.	CiE	2009	DBLP DOI BibTeX RDF	Existential Positive First-Order Logic, Computational Complexity, Constraint Satisfaction Problems
2	Ronan LeBras, Alessandro Zanarini, Gilles Pesant	Efficient Generic Search Heuristics within the EMBP Framework.	CP	2009	DBLP DOI BibTeX RDF	Constraint Satisfaction, Expectation Maximization, Probabilistic Reasoning, Belief Propagation, Search Heuristics
2	Peter Jonsson, Johan Thapper	Approximability of the Maximum Solution Problem for Certain Families of Algebras.	CSR	2009	DBLP DOI BibTeX RDF	computational complexity, approximability, Optimisation, constraint satisfaction, algebra
2	Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock	General Fuzzy Answer Set Programs.	WILF	2009	DBLP DOI BibTeX RDF	Valued Constraint Satisfaction, Fuzzy Logic, Answer Set Programs
2	Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara	Compiling finite linear CSP into SAT.	Constraints	2009	DBLP DOI BibTeX RDF	SAT encoding, Open-shop scheduling problems, Constraint satisfaction problems
2	Dan Hao, Lu Zhang 0023, Ming-Hao Liu, He Li, Jiasu Sun	Test-Data Generation Guided by Static Defect Detection.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	suspicious statements, software testing, constraint satisfaction problem, test-data generation
2	Martí Sánchez, Simon de Givry, Thomas Schiex	Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques.	Constraints	2008	DBLP DOI BibTeX RDF	Mendelian genotyping error detection, Complex pedigrees, Weighted constraint satisfaction, Genetics
2	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
2	David Oranchak	Evolutionary algorithm for decryption of monoalphabetic homophonic substitution ciphers encoded as constraint satisfaction problems.	GECCO	2008	DBLP DOI BibTeX RDF	codebreaking, homophonic substitution, zodiac killer, zodiac murder ciphers, genetic algorithms, cryptography, evolutionary computing, constraint satisfaction
2	Bart G. W. Craenen, Ben Paechter	A Conflict Tabu Search Evolutionary Algorithm for Solving Constraint Satisfaction Problems.	EvoCOP	2008	DBLP DOI BibTeX RDF
2	Hugo Terashima-Marín, José Carlos Ortiz-Bayliss, Peter Ross, Manuel Valenzuela-Rendón	Using Hyper-heuristics for the Dynamic Variable Ordering in Binary Constraint Satisfaction Problems.	MICAI	2008	DBLP DOI BibTeX RDF
2	Witold Charatonik, Michal Wrona	Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates.	LPAR	2008	DBLP DOI BibTeX RDF
2	Andrei A. Bulatov	The Complexity of the Counting Constraint Satisfaction Problem.	ICALP	2008	DBLP DOI BibTeX RDF
2	Manuel Bodirsky, Martin Grohe	Non-dichotomies in Constraint Satisfaction Complexity.	ICALP	2008	DBLP DOI BibTeX RDF
2	Hubie Chen	Quantified Constraint Satisfaction and the Polynomially Generated Powers Property.	ICALP	2008	DBLP DOI BibTeX RDF
2	Francesco Scarcello, Georg Gottlob, Gianluigi Greco	Uniform Constraint Satisfaction Problems and Database Theory.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
2	Andrei A. Bulatov, Andrei A. Krokhin, Benoit Larose	Dualities for Constraint Satisfaction Problems.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
2	Manuel Bodirsky	Constraint Satisfaction Problems with Infinite Templates.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF