Search results for "Arc-Consistency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
105	Marc R. C. van Dongen	Saving Support-Checks Does Not Always Save Time.	Artif. Intell. Rev.	2004	DBLP DOI BibTeX RDF	maintain arc-consistency, Abbrevations:, CSP - constraint satisfaction problem, MAC - maintain arc consistency, RLFAP - radio link frequency assignment problem, search, heuristics, constraint satisfaction, time-complexity, space-complexity
99	Mohand Ou Idir Khemmoudj, Hachemi Bennaceur, Anass Nagih	Combining Arc-Consistency and Dual Lagrangean Relaxation for Filtering CSPs.	CPAIOR	2005	DBLP DOI BibTeX RDF	Subgradient Algorithm, Lagrangean Relaxation, Arc-Consistency
91	Albert Atserias, Mark Weyer	Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems.	CSL	2009	DBLP DOI BibTeX RDF
83	Thomas Schiex	Arc Consistency for Soft Constraints.	CP	2000	DBLP DOI BibTeX RDF
79	Deepak Mehta 0001, Marc R. C. van Dongen	Probabilistic Arc Consistency.	CP	2005	DBLP DOI BibTeX RDF
77	Ahlem Ben Hassine, Khaled Ghédira	Distributed Reinforcement of Arc-Consistency.	PRICAI	2002	DBLP DOI BibTeX RDF	Constraint Satisfaction Problems (CSP), Multi-Agent System, Arc-Consistency
75	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
68	Nick D. Dendris, Lefteris M. Kirousis, Yannis C. Stamatiou, Dimitrios M. Thilikos	Partiality and Approximation Schemes for Local Consistency in Networks of Constraints.	FSTTCS	1995	DBLP DOI BibTeX RDF
68	James M. Conrad, Dennis R. Bahler, James Bowen	Static Parallel Arc Consistency in Constraint Satisfaction.	ISMIS	1991	DBLP DOI BibTeX RDF
65	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
65	Martin C. Cooper	Minimization of Locally Defined Submodular Functions by Optimal Soft Arc Consistency.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Valued constraint satisfaction problem, Majority operation, Optimal soft arc consistency, Linear programming, Soft constraints, Discrete optimization, Submodularity
65	Malek Mouhoub	Arc Consistency for Dynamic CSPs.	KES	2003	DBLP DOI BibTeX RDF	Dynamic Arc Consistency, Search, Constraint Satisfaction
64	Yuanlin Zhang 0002, Roland H. C. Yap	Arc Consistency on n-ary Monotonic and Linear Constraints.	CP	2000	DBLP DOI BibTeX RDF
58	Malek Mouhoub, Jonathan Yip	Dynamic CSPs for Interval-Based Temporal Reasoning.	IEA/AIE	2002	DBLP DOI BibTeX RDF	Dynamic Arc Consistency, Scheduling, Planning, Temporal Reasoning
58	Assef Chmeiss, Lakhdar Sais	About the use of local consistency in solving CSPs.	ICTAI	2000	DBLP DOI BibTeX RDF	constraint satisfaction problem solving, filtering techniques, singleton arc consistency, problem solving, search problems, pruning, search algorithms, constraint handling, local consistency, path consistency
56	Jia-Huai You, Guiwen Hou	Arc-Consistency + Unit Propagation = Lookahead.	ICLP	2004	DBLP DOI BibTeX RDF
56	Willem Jan van Hoeve	A Hyper-arc Consistency Algorithm for the Soft Alldifferent Constraint.	CP	2004	DBLP DOI BibTeX RDF
54	Matthias Zytnicki, Christine Gaspin, Thomas Schiex	A new local consistency for weighted CSP dedicated to long domains.	SAC	2006	DBLP DOI BibTeX RDF	bound arc consistency, weighted constraint satisfaction problem, local consistency
54	Aline Deruyver, Yann Hodé	Semantic graph and arc consistency in "true" three dimensional image labeling.	ICIP	1995	DBLP DOI BibTeX RDF	semantic graph consistency, true three dimensional image labelling, over-segmented objects, nuclear resonance magnetic cerebral images, algorithm, image segmentation, graph theory, object recognition, image recognition, object, medical image processing, transitivity, brain, brain, biomedical NMR, arc consistency
53	Romuald Debruyne	A Strong Local Consistency for Constraint Satisfaction.	ICTAI	1999	DBLP DOI BibTeX RDF	constraint satisfaction, local consistency
52	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
52	Aline Deruyver, Yann Hodé	Arc-Consistency Checking with Bilevel Constraints: An Optimization.	GbRPR	2009	DBLP DOI BibTeX RDF
52	Tomás Werner	What is decreased by the max-sum arc consistency algorithm?	ICML	2007	DBLP DOI BibTeX RDF
52	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
52	Marc R. C. van Dongen	Domain-Heuristics for Arc-Consistency Algorithms.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
52	Hachemi Bennaceur, Mohamed-Salah Affane	Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency.	CP	2001	DBLP DOI BibTeX RDF
49	Narendra Jussien, Romuald Debruyne, Patrice Boizumault	Maintaining Arc-Consistency within Dynamic Backtracking.	CP	2000	DBLP DOI BibTeX RDF
47	Malek Mouhoub	Solving Dynamic CSPs.	Canadian AI	2004	DBLP DOI BibTeX RDF	Dynamic Arc Consistency, Constraint Satisfaction
47	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
45	Michael C. Horsch, William S. Havens, Aditya Ghose	Generalized Arc Consistency with Application to MaxCSP.	AI	2002	DBLP DOI BibTeX RDF
42	Kostas Stergiou 0001	On Algorithms for Decomposable Constraints.	SETN	2002	DBLP DOI BibTeX RDF
42	Stefania Verachi, Steven D. Prestwich	Bounds-Consistent Local Search.	CP	2005	DBLP DOI BibTeX RDF
41	Michel Liquiere	Arc Consistency Projection: A New Generalization Relation for Graphs.	ICCS	2007	DBLP DOI BibTeX RDF
41	Broderick Crawford, Carlos Castro 0001	Ant Colonies using Arc Consistency Techniques for the Set Partitioning Problem.	IFIP PPAI	2006	DBLP DOI BibTeX RDF
41	Wei Liu, William S. Havens	Histogram Arc Consistency as a Value Ordering Heuristic.	Canadian AI	2004	DBLP DOI BibTeX RDF
41	Pavel Surynek, Roman Barták	A New Algorithm for Maintaining Arc Consistency After Constraint Retraction.	CP	2004	DBLP DOI BibTeX RDF
41	Christophe Lecoutre, Frédéric Boussemart, Fred Hemery	Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms.	CP	2003	DBLP DOI BibTeX RDF
41	Meinolf Sellmann	An Arc-Consistency Algorithm for the Minimum Weight All Different Constraint.	CP	2002	DBLP DOI BibTeX RDF	all different constraint, minimum weight all different constraint, MinWeightAllDiff, IlcAllDiffCost, optimization constraint, cost based filtering
41	Bing Liu 0001	An Improved Generic Arc Consistency Algorithm and Its Specializations.	PRICAI	1996	DBLP DOI BibTeX RDF
39	Audrey Dupont, Eric Alvernhe, Michel Vasquez	Efficient Filtering and Tabu Search on a Consistent Neighbourhood for the Frequency Assignment Problem with Polarisation.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	path-inverse-consistency, Consistent Neighbourhood, Tabu Search, arc-consistency, frequency assignment problem
38	Irit Katriel	Expected-Case Analysis for Delayed Filtering.	CPAIOR	2006	DBLP DOI BibTeX RDF
38	Ahlem Ben Hassine, Khaled Ghédira, Tu Bao Ho	New Distributed Filtering-Consistency Approach to General Networks.	IEA/AIE	2004	DBLP DOI BibTeX RDF
37	Marc R. C. van Dongen	AC-3d an Efficient Arc-Consistency Algorithm with a Low Space-Complexity.	CP	2002	DBLP DOI BibTeX RDF
37	Josef Zlomek, Roman Barták	Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains.	CP	2005	DBLP DOI BibTeX RDF
37	Steven A. Battle	Establishing Arc Consistency for Multiple Database Views.	DEXA	1996	DBLP DOI BibTeX RDF
37	Simon de Givry, Federico Heras, Matthias Zytnicki, Javier Larrosa	Existential arc consistency: Getting closer to full arc consistency in weighted CSPs.	IJCAI	2005	DBLP BibTeX RDF
37	Christian Bessière	Arc-Consistency and Arc-Consistency Again.	Artif. Intell.	1994	DBLP DOI BibTeX RDF
37	Christian Bessière, Marie-Odile Cordier	Arc-Consistency and Arc-Consistency Again.	AAAI	1993	DBLP BibTeX RDF
35	Khaled M. Elbassioni, Irit Katriel	Multiconsistency and Robustness with Global Constraints.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Multi-consistency, Alldifferent, Global cardinality constraint, Global constraints, Arc-consistency, Filtering algorithms, Robust solutions
35	Jan A. Mulder, Alan K. Mackworth, William S. Havens	Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	Mapsee approach, map interpretation programs, schema-based representation, hierarchical arc-consistency algorithm, discrimination graphs, computer vision, computer vision, knowledge representation, graph theory, computerised pattern recognition, computerized pattern recognition, visual knowledge
34	Mohand Ou Idir Khemmoudj, Hachemi Bennaceur	Valid Inequality Based Lower Bounds for WCSP.	CP	2007	DBLP DOI BibTeX RDF
34	Lionel Paris, Belaid Benhamou, Pierre Siegel	A Boolean Encoding Including SAT and n-ary CSPs.	AIMSA	2006	DBLP DOI BibTeX RDF	Logic and constraint programming, Automated reasoning, Knowledge representation and reasoning
34	Igor Razgon, Barry O'Sullivan	Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems.	CSCLP	2006	DBLP DOI BibTeX RDF
34	Jingfang Zheng, Michael C. Horsch	A Comparison of Consistency Propagation Algorithms in Constraint Optimization.	AI	2003	DBLP DOI BibTeX RDF
34	Nikos Mamoulis, Kostas Stergiou 0001	Solving Non-binary CSPs Using the Hidden Variable Encoding.	CP	2001	DBLP DOI BibTeX RDF
34	Toby Walsh	SAT v CSP.	CP	2000	DBLP DOI BibTeX RDF
34	Assef Chmeiss, Vincent Krawczyk, Lakhdar Sais	Light Integration of Path Consistency for Solving CSPs.	ICTAI (1)	2007	DBLP DOI BibTeX RDF
34	Gilles Chabert, Gilles Trombettoni, Bertrand Neveu	Box-set consistency for interval-based constraint problems.	SAC	2005	DBLP DOI BibTeX RDF
34	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
30	Christophe Lecoutre, Stéphane Cardon, Julien Vion	Path Consistency by Dual Consistency.	CP	2007	DBLP DOI BibTeX RDF
30	Patrick Prosser, Kostas Stergiou 0001, Toby Walsh	Singleton Consistencies.	CP	2000	DBLP DOI BibTeX RDF
30	Ian P. Gent, Kostas Stergiou 0001, Toby Walsh	Decomposable Constraints.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
30	Ismel Brito, Pedro Meseguer	Connecting ABT with Arc Consistency.	CP	2008	DBLP DOI BibTeX RDF
30	Christophe Lecoutre, Radoslaw Szymanek	Generalized Arc Consistency for Positive Table Constraints.	CP	2006	DBLP DOI BibTeX RDF
30	Martin C. Cooper, Sylvain Cussat-Blanc, Marie de Roquemaurel, Pierre Régnier	Soft Arc Consistency Applied to Optimal Planning.	CP	2006	DBLP DOI BibTeX RDF
30	Jean-Charles Régin	AC-*: A Configurable, Generic and Adaptive Arc Consistency Algorithm.	CP	2005	DBLP DOI BibTeX RDF
30	Jean-Charles Régin	Maintaining Arc Consistency Algorithms During the Search Without Additional Space Cost.	CP	2005	DBLP DOI BibTeX RDF
30	Olivier Lhomme	Arc-Consistency Filtering Algorithms for Logical Combinations of Constraints.	CPAIOR	2004	DBLP DOI BibTeX RDF
30	Camilo Rueda, Frank D. Valencia	Non-viability Deductions in Arc-Consistency Computation.	ICLP	2004	DBLP DOI BibTeX RDF
30	Tomás Müller	Iterative Forward Search Algorithm: Combining Local Search with Maintaining Arc Consistency and a Conflict-Based Statistics.	CP	2004	DBLP DOI BibTeX RDF
30	Hubie Chen, Víctor Dalmau	(Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability.	CP	2004	DBLP DOI BibTeX RDF
30	Lucas Bordeaux, Éric Monfroy	Beyond NP: Arc-Consistency for Quantified Constraints.	CP	2002	DBLP DOI BibTeX RDF
30	Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Faltings	Ways of Maintaining Arc Consistency in Search Using the Cartesian Representation.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
26	Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni	All Different: Softening AllDifferent in Weighted CSPs.	ICTAI (1)	2007	DBLP DOI BibTeX RDF
26	Dimitris Magos, Ioannis Mourtos, Leonidas S. Pitsoulis	Consistency of the Matching Predicate.	SETN	2006	DBLP DOI BibTeX RDF
26	Assef Chmeiss, Lakhdar Sais	Constraint Satisfaction Problems: Backtrack Search Revisited.	ICTAI	2004	DBLP DOI BibTeX RDF
26	Ahlem Ben Hassine, Xavier Défago, Tu Bao Ho	Agent-Based Approach to Dynamic Meeting Scheduling Problems.	AAMAS	2004	DBLP DOI BibTeX RDF
26	Michael J. Maher	Propagation Completeness of Reactive Constraints.	ICLP	2002	DBLP DOI BibTeX RDF
26	Richard J. Wallace	Interleaving Levels of Consistency Enforcement for Singleton Arc Consistency in CSPs, with a New Best (N)SAC Algorithm.	AI*IA	2020	DBLP DOI BibTeX RDF
26	Jean-Baptiste Mairy, Yves Deville, Christophe Lecoutre	Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency.	CPAIOR	2014	DBLP DOI BibTeX RDF
26	Christian Bessiere, Thierry Petit, Bruno Zanuttini	Making Bound Consistency as Effective as Arc Consistency.	IJCAI	2009	DBLP BibTeX RDF
26	Marlene Arangú, Miguel A. Salido, Federico Barber	2-C3: From Arc-Consistency to 2-Consistency.	SARA	2009	DBLP BibTeX RDF
24	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
24	Yann Hodé, Aline Deruyver	Qualitative Spatial Relationships for Image Interpretation by Using Semantic Graph.	GbRPR	2007	DBLP DOI BibTeX RDF	arc-consistency checking, spatial relationship, image interpretation, Semantic graph
24	Malek Mouhoub, Amrudee Sukpan	Solving conditional and composite constraint satisfaction problems.	SAC	2007	DBLP DOI BibTeX RDF	local search, constraint satisfaction, arc consistency
24	Malek Mouhoub, Amrudee Sukpan	Managing Conditional and Composite CSPs.	Canadian AI	2007	DBLP DOI BibTeX RDF	Local Search, Constraint Satisfaction, Arc Consistency
24	Irit Katriel, Sven Thiel	Complete Bound Consistency for the Global Cardinality Constraint.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	global cardinality constraint, matching, graph algorithms, flow, constraint propagation, global constraints, arc consistency, filtering algorithms, bound consistency
23	Neng-Fa Zhou	Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC.	ICLP	2009	DBLP DOI BibTeX RDF
23	Thanasis Balafoutis, Kostas Stergiou 0001	Algorithms for Stochastic CSPs.	CP	2006	DBLP DOI BibTeX RDF
23	Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano	Dealing with incomplete knowledge on CLP(FD) variable domains.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	domain acquisition, interaction, Constraints, streams, sets, lazy evaluation
23	Le Chang, Alan K. Mackworth	Constraint-Based Inference: A Bridge Between Constraint Processing and Probability Inference.	CP	2005	DBLP DOI BibTeX RDF
23	David A. Cohen	A New Classs of Binary CSPs for which Arc-Constistency Is a Decision Procedure.	CP	2003	DBLP DOI BibTeX RDF
23	Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar 0001, John Thornton 0001	On Dual Encodings for Non-binary Constraint Satisfaction Problems.	CP	2000	DBLP DOI BibTeX RDF
23	Alvaro Ruiz-Andino, Lourdes Araujo, Fernando Sáenz-Pérez, José J. Ruz	Parallel Implementation of Constraint Solving.	PaCT	1999	DBLP DOI BibTeX RDF
23	Frédéric Benhamou	Heterogeneous Constraint Solving.	ALP	1996	DBLP DOI BibTeX RDF
23	David Lesaint, Deepak Mehta 0001, Barry O'Sullivan, Luis Quesada 0001, Nic Wilson	Consistency Techniques for Finding an Optimal Relaxation of a Feature Subscription.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
23	Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà	Mapping CSP into Many-Valued SAT.	SAT	2007	DBLP DOI BibTeX RDF
19	Emmanuel Hebrard, Dániel Marx, Barry O'Sullivan, Igor Razgon	Constraints of Difference and Equality: A Complete Taxonomic Characterisation.	CP	2009	DBLP DOI BibTeX RDF
19	Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais	Support Inference for Generic Filtering.	CP	2004	DBLP DOI BibTeX RDF
19	Meinolf Sellmann	Approximated Consistency for Knapsack Constraints.	CP	2003	DBLP DOI BibTeX RDF	approximation algorithms, global constraints, optimization constraints, relaxed consistency, cost-based filtering