Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
54 | Amnon Meisels, Roie Zivan |
Asynchronous Forward-checking for DisCSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 12(1), pp. 131-150, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 840, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, pp. 304-318, 2009, Springer, 978-3-642-04243-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Fahiem Bacchus |
Extending Forward Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, pp. 35-51, 2000, Springer, 3-540-41053-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI (1) ![In: 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1, pp. 486-490, 2008, IEEE Computer Society, 978-0-7695-3440-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Ismel Brito, Pedro Meseguer |
Distributed Forward Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 801-806, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 8(5), pp. 490-501, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 28-30 June 2007, Alicante, Spain, pp. 163-168, 2007, IEEE Computer Society, 978-0-7695-2836-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Inf. Sci. ![In: Sci. China Inf. Sci. 64(7), 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings, pp. 108-124, 2016, Springer, 978-3-319-33953-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Kirti R. Pawar, Tushar Ghorpade, Rajashree Shedge |
Constraint based recipe recommendation using forward checking algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICACCI ![In: 2016 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2016, Jaipur, India, September 21-24, 2016, pp. 1474-1478, 2016, IEEE, 978-1-5090-2029-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Exp. Theor. Artif. Intell. ![In: J. Exp. Theor. Artif. Intell. 27(5), pp. 649-671, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2015, Takamatsu, Japan, June 1-3, 2015, pp. 5-12, 2015, IEEE Computer Society, 978-1-4799-8676-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Artif. Intell. Tools ![In: Int. J. Artif. Intell. Tools 23(4), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Mohamed Wahbi, Redouane Ezzahir, Christian Bessiere, El-Houssine Bouyakhf |
Nogood-based asynchronous forward checking algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 18(3), pp. 404-433, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Jinsong Guo, Zhanshan Li, Yonggang Zhang |
Efficient Singleton Consistency by Combining Forward Checking and Bound Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012, Athens, Greece, November 7-9, 2012, pp. 223-229, 2012, IEEE Computer Society, 978-1-4799-0227-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Mihaela Butaru, Zineb Habbas |
The Phase Transition Behaviour of Non-binary Forward Checking Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud. Inform. Univ. ![In: Stud. Inform. Univ. 6(3), pp. 236-260, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDA (1) ![In: Eighth International Conference on Intelligent Systems Design and Applications, ISDA 2008, 26-28 November 2008, Kaohsiung, Taiwan, 3 Volumes, pp. 240-245, 2008, IEEE Computer Society, 978-0-7695-3382-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ismel Brito, Pedro Meseguer |
Distributed Forward Checking May Lie for Privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers, pp. 93-107, 2006, Springer, 978-3-540-73816-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Steven D. Prestwich |
Coloration Neighbourhood Search With Forward Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 34(4), pp. 327-340, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa |
On forward checking for non-binary constraint satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 141(1/2), pp. 205-224, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Thierry Vidal, Bernard Archimède, Thierry Coudert |
Distributed forward checking for scheduling in flexible manufacturing cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA (1) ![In: Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2001, October 15-18, 2001, Antibes/Juan les Pins, France - Volume 1, pp. 567-574, 2001, IEEE, 0-7803-7241-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Angelo Oddi, Amedeo Cesta |
Incremental Forward Checking for the Disjunctive Temporal Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000, pp. 108-112, 2000, IOS Press. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
15 | Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa |
On Forward Checking for Non-binary Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP'99, 5th International Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings, pp. 88-102, 1999, Springer, 3-540-66626-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Javier Larrosa, Pedro Meseguer |
Partial Lazy Forward Checking for MAX-CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: 13th European Conference on Artificial Intelligence, Brighton, UK, August 23-28 1998, Proceedings. , pp. 229-233, 1998, John Wiley and Sons, 9780471984313. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
15 | Geun Sik Jo, Ken McAloon |
Anticipatory pruning networks and forward checking in CLP over continuous domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decis. Support Syst. ![In: Decis. Support Syst. 18(3-4), pp. 327-340, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Michael J. Dent, Robert E. Mercer |
An Empirical Inverstigation of the Forward Checking Algorithm and Its Derivatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: Eigth International Conference on Tools with Artificial Intelligence, ICTAI '96, Toulouse, France, November 16-19, 1996, pp. 278-285, 1996, IEEE Computer Society, 0-8186-7686-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Alvin C. M. Kwan, Edward P. K. Tsang |
Minimal Forward Checking with Backmarking and Conflict-Directed Backjumping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: Eigth International Conference on Tools with Artificial Intelligence, ICTAI '96, Toulouse, France, November 16-19, 1996, pp. 290-298, 1996, IEEE Computer Society, 0-8186-7686-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Dan R. Vlasie |
Combining Hill Climbing and Forward Checking for Handling Disjunctive Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Processing, Selected Papers ![In: Constraint Processing, Selected Papers, pp. 247-265, 1995, Springer, 3-540-59479-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Fahiem Bacchus, Adam J. Grove |
On the Forward Checking Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP'95, First International Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings, pp. 292-308, 1995, Springer, 3-540-60299-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Patrick Prosser |
Forward Checking with Backmarking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Processing, Selected Papers ![In: Constraint Processing, Selected Papers, pp. 185-204, 1995, Springer, 3-540-59479-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Michael J. Dent, Robert E. Mercer |
Minimal Forward Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: Sixth International Conference on Tools with Artificial Intelligence, ICTAI '94, New Orleans, Louisiana, USA, November 6-9, 1994, pp. 432-438, 1994, IEEE Computer Society, 0-8186-6785-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Chang J. Cho, Jin H. Kim |
Recognizing 3-D objects by forward checking constrained tree search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. Lett. ![In: Pattern Recognit. Lett. 13(8), pp. 587-597, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Chang J. Cho, Jin H. Kim |
Recognition of 3-D objects by forward checking constrained search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics Auton. Syst. ![In: Robotics Auton. Syst. 10(4), pp. 287-309, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Brent W. Benson Jr., Eugene C. Freuder |
Interchangeability Preprocessing Can Improve Forward Checking Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: 10th European Conference on Artificial Intelligence, ECAI 92, Vienna, Austria, August 3-7, 1992. Proceedings., pp. 28-30, 1992, John Wiley and Sons, 9780471936084. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
15 | David A. Wolfram |
Forward Checking and Intelligent Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 32(2), pp. 85-87, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Danny De Schreye, Maurice Bruynooghe |
The Compilation of Forward Checking Regimes through Meta-Interpretation and Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
META ![In: Meta-Programming in Logic Programming, Workshop on Meta-Programming in Logic, META 1988, University of Bristol, 22-24 June, 1988., pp. 217-231, 1988, MIT Press, 0-262-51047-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
15 | Pascal Van Hentenryck, Mehmet Dincbas |
Forward Checking in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes), pp. 229-256, 1987, MIT Press, 0-262-12125-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
13 | M. Andrea Rodríguez, Francisco A. Godoy |
A Content-Based Approach to Searching and Indexing Spatial Configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIScience ![In: Geographic Information Science, Second International Conference, GIScience 2002, Boulder, CO, USA, September 25-28, 2002, Proceedings, pp. 260-275, 2002, Springer, 3-540-44253-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | David W. Fowler, Kenneth N. Brown |
Branching Constraint Satisfaction Problems for Solutions Robust under Likely Changes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, pp. 500-504, 2000, Springer, 3-540-41053-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Romuald Debruyne |
A Strong Local Consistency for Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 11th IEEE International Conference on Tools with Artificial Intelligence, ICTAI '99, Chicago, Illinois, USA, November 8-10, 1999, pp. 202-209, 1999, IEEE Computer Society, 0-7695-0456-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
constraint satisfaction, local consistency |
10 | Qing Wu, Zhaohui Wu 0001 |
Adaptive Component Allocation in ScudWare Middleware for Ubiquitous Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC ![In: Embedded and Ubiquitous Computing - EUC 2005, International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings, pp. 1155-1164, 2005, Springer, 3-540-30807-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | C. K. Chung, Philip Heng Wai Leong |
An Architecture for Solving Boolean Satisfiability Using Runtime Configurable Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: Proceedings of the 1999 International Conference on Parallel Processing Workshops, ICPPW 1999, Wakamatsu, Japan, September 21-24, 1999, pp. 352-359, 1999, IEEE Computer Society, 0-7695-0353-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings, pp. 150-166, 2004, Springer, 3-540-23252-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
7 | Ismel Brito, Amnon Meisels, Pedro Meseguer, Roie Zivan |
Distributed constraint satisfaction with partially known constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 14(2), pp. 199-234, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 81-88, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings, pp. 991-997, 2008, Springer, 978-3-540-89196-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Wafa Karoui, Marie-José Huguet, Pierre Lopez, Wady Naanaa |
YIELDS: A Yet Improved Limited Discrepancy Search for CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings, pp. 99-111, 2007, Springer, 978-3-540-72396-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Hélène Fargier, Nic Wilson |
Algebraic Structures for Bipolar Constraint-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, pp. 623-634, 2007, Springer, 978-3-540-75255-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Yuechang Liu, Hong Qian, Yunfei Jiang |
Graph-DTP: Graph-Based Algorithm for Solving Disjunctive Temporal Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 28-30 June 2007, Alicante, Spain, pp. 190, 2007, IEEE Computer Society, 978-0-7695-2836-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Santiago Macho González, Pedro Meseguer |
Boosting MUS Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SARA ![In: Abstraction, Reformulation, and Approximation, 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings, pp. 285-299, 2007, Springer, 978-3-540-73579-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006, Proceedings, pp. 30-44, 2006, Springer, 3-540-32203-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
search, constraint satisfaction, enumeration |
7 | Malek Mouhoub, Amrudee Sukpan |
Conditional and Composite Temporal Constraints with Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary, pp. 95-102, 2006, IEEE Computer Society, 0-7695-2617-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
7 | Thanasis Balafoutis, Kostas Stergiou 0001 |
Algorithms for Stochastic CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings, pp. 44-58, 2006, Springer, 3-540-46267-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
7 | Roie Zivan, Uri Shapen, Moshe Zazone, Amnon Meisels |
Retroactive Ordering for Dynamic Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings, pp. 766-771, 2006, Springer, 3-540-46267-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
7 | Igor Razgon, Barry O'Sullivan |
Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers, pp. 154-168, 2006, Springer, 978-3-540-73816-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
7 | Jigang Yang, Scott D. Goodwin |
High Performance Constraint Satisfaction Problem Solving: State-Recomputation versus State-Copying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCS ![In: 19th Annual International Symposium on High Performance Computing Systems and Applications (HPCS 2005), 15-18 May 2005, Guelph, Ontario, Canada, pp. 117-123, 2005, IEEE Computer Society, 0-7695-2343-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
7 | Deepak Mehta 0001, Marc R. C. van Dongen |
Probabilistic Arc Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 862, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
7 | Igor Razgon, Amnon Meisels |
A CSP Search Algorithm with Reduced Branching Factor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers, pp. 59-72, 2005, Springer, 3-540-34215-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
7 | Mihaela Butaru, Zineb Habbas |
The Car-Sequencing Problem as n-Ary CSP - Sequential and Parallel Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings, pp. 875-878, 2005, Springer, 3-540-30462-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBIA ![In: Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29 - October 1, 2004, Proceedings, pp. 93-102, 2004, Springer, 3-540-23237-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
7 | William S. Havens, Bistra N. Dilkina |
A Hybrid Schema for Systematic Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Canadian AI ![In: Advances in Artificial Intelligence, 17th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2004, London, Ontario, Canada, May 17-19, 2004, Proceedings, pp. 248-260, 2004, Springer, 3-540-22004-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
7 | Assef Chmeiss, Lakhdar Sais |
Constraint Satisfaction Problems: Backtrack Search Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 15-17 November 2004, Boca Raton, FL, USA, pp. 252-257, 2004, IEEE Computer Society, 0-7695-2236-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 25-28 May 2004, Toronto, Canada, pp. 219-226, 2004, IEEE Computer Society, 0-7695-2148-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
7 | Steven D. Prestwich |
Full Dynamic Substitutability by SAT Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 512-526, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
7 | Mihaela Sabin, Eugene C. Freuder, Richard J. Wallace |
Greater Efficiency for Conditional Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 649-663, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
7 | Igor Razgon, Amnon Meisels |
Maintaining Dominance Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 945-949, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
7 | Steven D. Prestwich |
Combining the Scalability of Local Search with the Pruning Techniques of Systematic Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 115(1-4), pp. 51-72, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001, Revised Papers, pp. 789-796, 2001, Springer, 3-540-43792-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
7 | Marius-Calin Silaghi, Djamila Sam-Haroud, Boi Faltings |
Consistency Maintenance for ABT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 271-285, 2001, Springer, 3-540-42863-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
7 | Pedro Meseguer, Javier Larrosa, Martí Sánchez-Fibla |
Lower Bounds for Non-binary Constraint Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 317-331, 2001, Springer, 3-540-42863-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
7 | Zeynep Kiziltan |
Labelling Heuristics for CSP Application Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 769, 2001, Springer, 3-540-42863-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
7 | Debasis Mitra 0003 |
Interactive Modeling for Batch Simulation of Engineering Systems: A Constraint Satisfaction Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001, Proceedings, pp. 602-611, 2001, Springer, 3-540-42219-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 2001 International Conference on Software Maintenance, ICSM 2001, Florence, Italy, November 6-10, 2001, pp. 408-, 2001, IEEE Computer Society, 0-7695-1189-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI 2001: Advances in Artificial Intelligence, 14th Australian Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings, pp. 50-61, 2001, Springer, 3-540-42960-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
7 | Ian P. Gent, Kostas Stergiou 0001, Toby Walsh |
Decomposable Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Trends in Constraints ![In: New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers, pp. 134-149, 1999, Springer, 3-540-67885-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
7 | Amnon Meisels, Natalia Lusternik |
Experiments on Networks of Employee Timetabling Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATAT ![In: Practice and Theory of Automated Timetabling II, Second International Conference, PATAT'97, Toronto, Canada, August 20-22, 1997, Selected Papers, pp. 130-141, 1997, Springer, 3-540-64979-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Employee Timetabling, Experimental CSP, Non binary constraints, Constraint Networks |
7 | Wanlin Pang, Scott D. Goodwin |
Constraint-Directed Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, AI '97, Perth, Australia, November 30 - December 4, 1997, Proceedings, pp. 47-56, 1997, Springer, 3-540-63797-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings, pp. 385-394, 1993, Springer, 3-540-56804-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|