• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • AAAI Officers and Committees
    • AAAI Staff
    • Bylaws of AAAI
    • AAAI Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • Award for Artificial Intelligence for the Benefit of Humanity
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • AAAI Resources
    • AAAI Mailing Lists
    • Past AAAI Presidential Addresses
    • Presidential Panel on Long-Term AI Futures
    • Past AAAI Policy Reports
      • A Report to ARPA on Twenty-First Century Intelligent Systems
      • The Role of Intelligent Systems in the National Information Infrastructure
    • AAAI Logos
    • News
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • IAAI
    • ICWSM
    • HCOMP
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AAAI Press
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
  • aaai-icon_ai-magazine-line-yellowAI Magazine
    • Issues and Articles
    • Author Guidelines
    • Editorial Focus
  • MembershipMembership
    • Member Login
    • Developing Country List
    • AAAI Chapter Program

  • Career CenterCareer Center
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

Home / Proceedings / Proceedings of the AAAI Conference on Artificial Intelligence, 15 /

Constraint Satisfaction and Search

Analysis of Search

  • The Branching Factor of Regular Search Spaces

    Stefan Edelkamp, Richard E. Korf

    299

    PDF
  • Complexity Analysis of Admissible Heuristic Search

    Richard E. Korf, Michael Reid

    305

    PDF

Constraint Satisfaction Problems

  • An Integer Local Search Method with Application to Capacitated Production Planning

    Joachim P. Walser, Ramesh Iyer, Narayan Venkatasubramanyan

    373

    PDF
  • Extending GENET to Solve Fuzzy Constraint Satisfaction Problems

    Jason H. Y. Wong, Ho-fung Leung

    380

    PDF
  • On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems

    Fahiem Bacchus, Peter van Beek

    310

    PDF
  • Generalizing Partial Order and Dynamic Backtracking

    Christian Bliek

    319

    PDF
  • On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems

    Berthe Y. Choueiry, Guevara Noubir

    326

    PDF
  • Supermodels and Robustness

    Matthew L. Ginsberg, Andrew J. Parkes, Amitabha Roy

    334

    PDF
  • Squeaky Wheel Optimization

    David E. Joslin, David P. Clements

    340

    PDF
  • Reversible DAC and Other Improvements for Solving Max-CSP

    Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie

    347

    PDF
  • Branch and Bound Algorithm Selection by Performance Prediction

    Lionel Lobjois, Michel Lemaître

    353

    PDF
  • A Fast Algorithm for the Bound Consistency of Alldiff Constraints

    Jean-Francois Puget

    359

    PDF
  • Using Arc Weights to Improve Iterative Repair

    John Thornton, Abdul Sattar

    367

    PDF

Constraint Satisfaction Problems--Local Search

  • Local Search for Statistical Counting

    Olivier Bailleux

    386

    PDF
  • A Tractable Walsh Analysis of SAT and its Implications for Genetic Algorithms

    Soraya Rana, Robert B. Heckendorn, Darrell Whitley

    392

    PDF

Constraint Satisfaction Problems--Understanding Intractability

  • Hard Problems for CSP Algorithms

    David G. Mitchell

    398

    PDF
  • The Constrainedness Knife-Edge

    Toby Walsh

    406

    PDF

Heuristic Search

  • Heuristic Search in Cyclic AND / OR Graphs

    Eric A. Hansen, Shlomo Zilberstein

    412

    PDF
  • Single-Agent Search in the Presence of Deadlocks

    Andreas Junghanns, Jonathan Schaeffer

    419

    PDF
  • Complete Anytime Beam Search

    Weixiong Zhang

    425

    PDF

Random Approaches to Search

  • Boosting Combinatorial Search through Randomization

    Carla P. Gomes, Bart Selman, Henry Kautz

    431

    PDF
  • Which Search Problems Are Random?

    Tad Hogg

    438

    PDF

Search and Limited Resources

  • A* with Bounded Costs

    Brian Logan, Natasha Alechina

    444

    PDF
  • Stochastic Node Caching for Memory-Bounded Search

    Teruhisa Miura, Toru Ishida

    450

    PDF

Search Control in Theorem Proving

  • A Feature-Based Learning Method for Theorem Proving

    Matthias Fuchs

    457

    PDF
  • Learning Investment Functions for Controlling the Utility of Control Knowledge

    Oleg Ledeniov, Shaul Markovitch

    463

    PDF

Uncertainty Search and Optimization

  • Fast Probabilistic Modeling for Combinatorial Optimization

    Shumeet Baluja, Scott Davies

    469

    PDF
  • Highest Utility First Search Across Multiple Levels of Stochastic Design

    Louis Steinberg, J. Storrs Hall, Brian D. Davison

    477

    PDF

Primary Sidebar