Search results for "Forward-checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
54	Amnon Meisels, Roie Zivan	Asynchronous Forward-checking for DisCSPs.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Distributed CSPs, Asynchronous search, Forward-checking
32	Mihaela Butaru, Zineb Habbas	Solving the Car-Sequencing Problem as a Non-binary CSP.	CP	2005	DBLP DOI BibTeX RDF	n-ary CSPs, n-ary Forward Checking, scheduling, heuristics, constraint satisfaction, problem solving
28	Redouane Ezzahir, Christian Bessiere, Mohamed Wahbi, Imade Benelallam, Houssine Bouyakhf	Asynchronous Inter-Level Forward-Checking for DisCSPs.	CP	2009	DBLP DOI BibTeX RDF
28	Fahiem Bacchus	Extending Forward Checking.	CP	2000	DBLP DOI BibTeX RDF
21	Philippe Jégou, Samba Ndiaye, Cyril Terrioux	A New Evaluation of Forward Checking and Its Consequences on Efficiency of Tools for Decomposition of CSPs.	ICTAI (1)	2008	DBLP DOI BibTeX RDF
21	Ismel Brito, Pedro Meseguer	Distributed Forward Checking.	CP	2003	DBLP DOI BibTeX RDF
19	Robert Allen, Luigi Cinque, Steven L. Tanimoto, Linda G. Shapiro, Dean Yasuda	A Parallel Algorithm for Graph Matching and Its MasPar Implementation.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	MasPar, combinatorial explosion, forward checking, parallel algorithm, load balancing, search, Graph, matching, branch-and-bound, SIMD
17	Jean-François Baget, Sébastien Laborie	Bi-Intervals for Backtracking on Temporal Constraint Networks.	TIME	2007	DBLP DOI BibTeX RDF
15	Zhe Li 0017, Zhezhou Yu, Hongbo Li 0005, Jinsong Guo, Zhanshan Li	Revisiting the efficacy of weak consistencies: a study of forward checking.	Sci. China Inf. Sci.	2021	DBLP DOI BibTeX RDF
15	Cyrille Dejemeppe, Olivier Devolder, Victor Lecomte, Pierre Schaus	Forward-Checking Filtering for Nested Cardinality Constraints: Application to an Energy Cost-Aware Production Planning Problem for Tissue Manufacturing.	CPAIOR	2016	DBLP DOI BibTeX RDF
15	Kirti R. Pawar, Tushar Ghorpade, Rajashree Shedge	Constraint based recipe recommendation using forward checking algorithm.	ICACCI	2016	DBLP DOI BibTeX RDF
15	Zineb Habbas, Kamal Amroun, Daniel Singer	A Forward-Checking algorithm based on a Generalised Hypertree Decomposition for solving non-binary constraint satisfaction problems.	J. Exp. Theor. Artif. Intell.	2015	DBLP DOI BibTeX RDF
15	Tanvir Atahary, Tarek M. Taha, Fredrick Webber, Scott Douglass	Knowledge mining for cognitive agents through path based forward checking.	SNPD	2015	DBLP DOI BibTeX RDF
15	Jinsong Guo, Hongbo Li 0005, Zhanshan Li, Yonggang Zhang, Xianghua Jia	Efficient Singleton Consistency by Combining Forward Checking and Bound Consistency.	Int. J. Artif. Intell. Tools	2014	DBLP DOI BibTeX RDF
15	Mohamed Wahbi, Redouane Ezzahir, Christian Bessiere, El-Houssine Bouyakhf	Nogood-based asynchronous forward checking algorithms.	Constraints An Int. J.	2013	DBLP DOI BibTeX RDF
15	Jinsong Guo, Zhanshan Li, Yonggang Zhang	Efficient Singleton Consistency by Combining Forward Checking and Bound Consistency.	ICTAI	2012	DBLP DOI BibTeX RDF
15	Mihaela Butaru, Zineb Habbas	The Phase Transition Behaviour of Non-binary Forward Checking Algorithms.	Stud. Inform. Univ.	2008	DBLP BibTeX RDF
15	Yusef Farhang, Mohammad Reza Meybodi, A. R. Hatamlou	Improving the Efficiency of Forward Checking Algorithm for Solving Constraint Satisfaction Problems.	ISDA (1)	2008	DBLP DOI BibTeX RDF
15	Ismel Brito, Pedro Meseguer	Distributed Forward Checking May Lie for Privacy.	CSCLP	2006	DBLP DOI BibTeX RDF
15	Steven D. Prestwich	Coloration Neighbourhood Search With Forward Checking.	Ann. Math. Artif. Intell.	2002	DBLP DOI BibTeX RDF
15	Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa	On forward checking for non-binary constraint satisfaction.	Artif. Intell.	2002	DBLP DOI BibTeX RDF
15	Thierry Vidal, Bernard Archimède, Thierry Coudert	Distributed forward checking for scheduling in flexible manufacturing cells.	ETFA (1)	2001	DBLP DOI BibTeX RDF
15	Angelo Oddi, Amedeo Cesta	Incremental Forward Checking for the Disjunctive Temporal Problem.	ECAI	2000	DBLP BibTeX RDF
15	Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa	On Forward Checking for Non-binary Constraint Satisfaction.	CP	1999	DBLP DOI BibTeX RDF
15	Javier Larrosa, Pedro Meseguer	Partial Lazy Forward Checking for MAX-CSP.	ECAI	1998	DBLP BibTeX RDF
15	Geun Sik Jo, Ken McAloon	Anticipatory pruning networks and forward checking in CLP over continuous domains.	Decis. Support Syst.	1996	DBLP DOI BibTeX RDF
15	Michael J. Dent, Robert E. Mercer	An Empirical Inverstigation of the Forward Checking Algorithm and Its Derivatives.	ICTAI	1996	DBLP DOI BibTeX RDF
15	Alvin C. M. Kwan, Edward P. K. Tsang	Minimal Forward Checking with Backmarking and Conflict-Directed Backjumping.	ICTAI	1996	DBLP DOI BibTeX RDF
15	Dan R. Vlasie	Combining Hill Climbing and Forward Checking for Handling Disjunctive Constraints.	Constraint Processing, Selected Papers	1995	DBLP DOI BibTeX RDF
15	Fahiem Bacchus, Adam J. Grove	On the Forward Checking Algorithm.	CP	1995	DBLP DOI BibTeX RDF
15	Patrick Prosser	Forward Checking with Backmarking.	Constraint Processing, Selected Papers	1995	DBLP DOI BibTeX RDF
15	Michael J. Dent, Robert E. Mercer	Minimal Forward Checking.	ICTAI	1994	DBLP DOI BibTeX RDF
15	Chang J. Cho, Jin H. Kim	Recognizing 3-D objects by forward checking constrained tree search.	Pattern Recognit. Lett.	1992	DBLP DOI BibTeX RDF
15	Chang J. Cho, Jin H. Kim	Recognition of 3-D objects by forward checking constrained search.	Robotics Auton. Syst.	1992	DBLP DOI BibTeX RDF
15	Brent W. Benson Jr., Eugene C. Freuder	Interchangeability Preprocessing Can Improve Forward Checking Search.	ECAI	1992	DBLP BibTeX RDF
15	David A. Wolfram	Forward Checking and Intelligent Backtracking.	Inf. Process. Lett.	1989	DBLP DOI BibTeX RDF
15	Danny De Schreye, Maurice Bruynooghe	The Compilation of Forward Checking Regimes through Meta-Interpretation and Transformation.	META	1988	DBLP BibTeX RDF
15	Pascal Van Hentenryck, Mehmet Dincbas	Forward Checking in Logic Programming.	ICLP	1987	DBLP BibTeX RDF
13	M. Andrea Rodríguez, Francisco A. Godoy	A Content-Based Approach to Searching and Indexing Spatial Configurations.	GIScience	2002	DBLP DOI BibTeX RDF
13	David W. Fowler, Kenneth N. Brown	Branching Constraint Satisfaction Problems for Solutions Robust under Likely Changes.	CP	2000	DBLP DOI BibTeX RDF
13	Romuald Debruyne	A Strong Local Consistency for Constraint Satisfaction.	ICTAI	1999	DBLP DOI BibTeX RDF	constraint satisfaction, local consistency
10	Qing Wu, Zhaohui Wu 0001	Adaptive Component Allocation in ScudWare Middleware for Ubiquitous Computing.	EUC	2005	DBLP DOI BibTeX RDF
10	C. K. Chung, Philip Heng Wai Leong	An Architecture for Solving Boolean Satisfiability Using Runtime Configurable Hardware.	ICPP Workshops	1999	DBLP DOI BibTeX RDF
10	Baptiste Alcalde, Ana R. Cavalli, Dongluo Chen, Davy Khuu, David Lee 0001	Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach.	FORTE	2004	DBLP DOI BibTeX RDF
7	Ismel Brito, Amnon Meisels, Pedro Meseguer, Roie Zivan	Distributed constraint satisfaction with partially known constraints.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Distributed CSPs, Asynchronous search, Privacy, Entropy
7	David C. Uthus, Patricia J. Riddle, Hans W. Guesgen	An ant colony optimization approach to the traveling tournament problem.	GECCO	2009	DBLP DOI BibTeX RDF	constraint processing, traveling tournament problem, ant colony optimization
7	Louise Leenen, Aditya Ghose	Branch and Bound Algorithms to Solve Semiring Constraint Satisfaction Problems.	PRICAI	2008	DBLP DOI BibTeX RDF
7	Wafa Karoui, Marie-José Huguet, Pierre Lopez, Wady Naanaa	YIELDS: A Yet Improved Limited Discrepancy Search for CSPs.	CPAIOR	2007	DBLP DOI BibTeX RDF
7	Hélène Fargier, Nic Wilson	Algebraic Structures for Bipolar Constraint-Based Reasoning.	ECSQARU	2007	DBLP DOI BibTeX RDF
7	Yuechang Liu, Hong Qian, Yunfei Jiang	Graph-DTP: Graph-Based Algorithm for Solving Disjunctive Temporal Problems.	TIME	2007	DBLP DOI BibTeX RDF
7	Santiago Macho González, Pedro Meseguer	Boosting MUS Extraction.	SARA	2007	DBLP DOI BibTeX RDF
7	Tushar S. Kulkarni, Bernd S. W. Schröder	An Enumeration Problem in Ordered Sets Leads to Possible Benchmarks for Run-Time Prediction Algorithms.	ICFCA	2006	DBLP DOI BibTeX RDF	search, constraint satisfaction, enumeration
7	Malek Mouhoub, Amrudee Sukpan	Conditional and Composite Temporal Constraints with Preferences.	TIME	2006	DBLP DOI BibTeX RDF
7	Thanasis Balafoutis, Kostas Stergiou 0001	Algorithms for Stochastic CSPs.	CP	2006	DBLP DOI BibTeX RDF
7	Roie Zivan, Uri Shapen, Moshe Zazone, Amnon Meisels	Retroactive Ordering for Dynamic Backtracking.	CP	2006	DBLP DOI BibTeX RDF
7	Igor Razgon, Barry O'Sullivan	Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems.	CSCLP	2006	DBLP DOI BibTeX RDF
7	Jigang Yang, Scott D. Goodwin	High Performance Constraint Satisfaction Problem Solving: State-Recomputation versus State-Copying.	HPCS	2005	DBLP DOI BibTeX RDF
7	Deepak Mehta 0001, Marc R. C. van Dongen	Probabilistic Arc Consistency.	CP	2005	DBLP DOI BibTeX RDF
7	Igor Razgon, Amnon Meisels	A CSP Search Algorithm with Reduced Branching Factor.	CSCLP	2005	DBLP DOI BibTeX RDF
7	Mihaela Butaru, Zineb Habbas	The Car-Sequencing Problem as n-Ary CSP - Sequential and Parallel Solving.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF	scheduling, heuristics, Constraint satisfaction, problem solving
7	Carlos Castro 0001, Michael Moossen, María Cristina Riff	A Cooperative Framework Based on Local Search and Constraint Programming for Solving Discrete Global Optimisation.	SBIA	2004	DBLP DOI BibTeX RDF
7	William S. Havens, Bistra N. Dilkina	A Hybrid Schema for Systematic Local Search.	Canadian AI	2004	DBLP DOI BibTeX RDF
7	Assef Chmeiss, Lakhdar Sais	Constraint Satisfaction Problems: Backtrack Search Revisited.	ICTAI	2004	DBLP DOI BibTeX RDF
7	Shige Wang, Jeffrey R. Merrick, Kang G. Shin	Component Allocation with Multiple Resource Constraints for Large Embedded Real-Time Software Design.	IEEE Real-Time and Embedded Technology and Applications Symposium	2004	DBLP DOI BibTeX RDF
7	Steven D. Prestwich	Full Dynamic Substitutability by SAT Encoding.	CP	2004	DBLP DOI BibTeX RDF
7	Mihaela Sabin, Eugene C. Freuder, Richard J. Wallace	Greater Efficiency for Conditional Constraint Satisfaction.	CP	2003	DBLP DOI BibTeX RDF
7	Igor Razgon, Amnon Meisels	Maintaining Dominance Consistency.	CP	2003	DBLP DOI BibTeX RDF
7	Steven D. Prestwich	Combining the Scalability of Local Search with the Pruning Techniques of Systematic Search.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	hybrid search, n-queens, maximum cliques, Golomb rulers
7	Zineb Habbas, Michaël Krajecki, Daniel Singer	The Langford's Problem: A Challenge for Parallel Resolution of CSP.	PPAM	2001	DBLP DOI BibTeX RDF
7	Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Faltings	Consistency Maintenance for ABT.	CP	2001	DBLP DOI BibTeX RDF
7	Pedro Meseguer, Javier Larrosa, Martí Sánchez-Fibla	Lower Bounds for Non-binary Constraint Optimization Problems.	CP	2001	DBLP DOI BibTeX RDF
7	Zeynep Kiziltan	Labelling Heuristics for CSP Application Domains.	CP	2001	DBLP DOI BibTeX RDF
7	Debasis Mitra 0003	Interactive Modeling for Batch Simulation of Engineering Systems: A Constraint Satisfaction Problem.	IEA/AIE	2001	DBLP DOI BibTeX RDF	AI application to design, Interactive Planning, Modeling for simulation, Intelligent software engineering, Intelligent interfaces, Planning and scheduling, Constraint-based reasoning, Component-oriented programming
7	Kamran Sartipi, Kostas Kontogiannis	A Graph Pattern Matching Approach to Software Architecture Recovery.	ICSM	2001	DBLP DOI BibTeX RDF	Data mining, Query language, Graph matching, Association, Search algorithm, Software architecture recovery
7	Amy M. Beckwith, Berthe Y. Choueiry, Hui Zou	How the Level of Interchangeability Embedded in a Finite Constraint Satisfaction Problem Affects the Performance of Search.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF
7	Ian P. Gent, Kostas Stergiou 0001, Toby Walsh	Decomposable Constraints.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
7	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
7	Wanlin Pang, Scott D. Goodwin	Constraint-Directed Backtracking.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF
7	Manfred Meyer, Jörg P. Müller	Finite Domain Consistency Techniques: Their Combination and Application in Computer-Aided Process Planning.	ISMIS	1993	DBLP DOI BibTeX RDF