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 |
|