Dynamic bundling: Less effort for more solutions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2371, Issue , 2002, Pages 64-82

  Choueiry, Berthe Y ^a   Davis, Amy M ^a  

^a UNIVERSITY OF NEBRASKA LINCOLN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; DYNAMICS;

ABSTRACTION MECHANISM; ALL SOLUTIONS; COMPACT REPRESENTATION; RE-COMPUTING; ROBUST SOLUTIONS; SEARCH STRATEGIES; SOLUTION SPACE;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 84956869027     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45622-8_6     Document Type: Conference Paper

References (18)

1. Amy M. Beckwith and Berthe Y. Choueiry. On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems. In T. Walsh, editor, 7th International Conference on Principle and Practice of Constraint Programming (CP’01), LNCS Vol. 2239, page 760, Paphos, Cyprus, 2001. Springer Verlag.
2. Amy M. Beckwith, Berthe Y. Choueiry, and Hui Zou. How the Level of Interchangeability Embedded in a Finite Constraint Satisfaction Problem Affects the Performance of Search. In 14th Australian Joint Conference on Artificial Intelligence. LNAI Vol. 2256, pages 50–61, Adelaide, Australia, 2001. Springer Verlag.
3. Cynthia A. Brown, Larry Finkelstein, and Paul W. Purdom, Jr. Backtrack Searching in the Presence of Symmetry. In T. Mora, editor, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, pages 99–110. Springer-Verlag, 1988.
4. Peter Cheeseman, Bob Kanefsky, and William M. Taylor. Where the Really Hard Problems Are. In Proc. of the 12 th IJCAI, pages 331–337, Sidney, Australia, 1991.
5. Berthe Y. Choueiry and Amy M. Beckwith. On Finding the First Solution Bundle in Finite Constraint Satisfaction Problems. Technical Report CSL-01-03. consystlab.unl.edu/CSL-01-04.ps, University of Nebraska-Lincoln, 2001.
6. Berthe Y. Choueiry, Boi Faltings, and Rainer Weigel. Abstraction by Interchangeability in Resource Allocation. In Proc. of the 14 th IJCAI, pages 1694–1701, Montreal, Quebec, Canada, 1995.
7. Berthe Y. Choueiry and Guevara Noubir. On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems. Technical Report KSL- 98-24, Knowledge Systems Laboratory, Department of Computer Science, Stanford University, Stanford, CA, 1998. Preliminary version in Proc. of AAAI’98.
8. Thomas Ellman. Abstraction via Approximate Symmetry. In Proc. of the 13 th IJCAI, pages 916–921, Chambéry, France, 1993.
9. Jay P. Fillmore and S.G. Williamson. On Backtracking: A Combinatorial Description of the Algorithm. SIAM Journal on Computing, 3 (1):41–55, 1974.
10. Eugene C. Freuder. Eliminating Interchangeable Values in Constraint Satisfaction Problems. In Proc. of AAAI-91, pages 227–233, Anaheim, CA, 1991.
11. Ian P. Gent and Patrick Prosser. Inside MAC and FC. Technical Report APES- 20-2000, APES ResearchGroup, 2000.
12. Matthew L. Ginsberg, Andrew J. Parkes, and Amitabha Roy. Supermodels and Robustness. In Proc. of AAAI-98, pages 334–339, Madison, Wisconsin, 1998.
13. J.W.L. Glaisher. On the Problem of the Eight Queens. Philosophical Magazine, series 4, 48:457–467, 1874.
14. Alois Haselböck. Exploiting Interchangeabilities in Constraint Satisfaction Problems. In Proc. of the 13 th IJCAI, pages 282–287, Chambéry, France, 1993.
15. Tad Hogg, Bernardo A. Hubermann, and Colin P. Williams, editors. Special Volume on Frontiers in Problem Solving: Phase Transitions and Complexity, volume 81 (1-2). Elsevier Science, 1996.
16. Jean-Francois Puget. On the Satisfiability of Symmetrical Constrained Satisfaction Problems. In ISMIS’93, pages 350–361, 1993.
17. Daniel Sabin and Eugene C. Freuder. Contradicting Conventional Wisdom in Constraint Satisfaction. In Proc. of the 11 th ECAI, pages 125–129, Amsterdam, The Netherlands, 1994.
18. M-C. Silaghi, D. Sam-Haroud, and B. Faltings. Ways of Maintaining Arc Consistency in Searchusing the Cartesian Representation. In Proc. of ERCIM’99, LNAI, Paphos, Cyprus, 1999. Springer Verlag.