• 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, 14 /

Constraint Satisfaction and Search

Constraint Satisfaction Problems and Bayes Networks

  • Bayes Networks for Estimating the Number of Solutions to a CSP

    Amnon Meisels, Solomon Eyal Shimony, Gadi Solotorevsky

    179

    PDF
  • A Practical Algorithm for Finding Optimal Triangulations

    Kirill Shoikhet, Dan Geiger

    185

    PDF

Constraint Satisfaction Problems: Symmetry

  • Interchangeability Supports Abstraction and Reformulation for Multi-Dimensional Constraint Satisfaction

    Eugene C. Freuder, Daniel Sabin

    191

    PDF
  • Exploiting Symmetry in Lifted CSPs

    David Joslin, Amitabha Roy

    197

    PDF

Constraint Satisfaction Techniques

  • Using CSP Look-Back Techniques to Solve Real-World SAT Instances

    Roberto J. Bayardo Jr., Robert C. Schrag

    203

    PDF
  • Using Branch-and-Bound with Constraint Satisfaction in Optimization Problems

    Stephen Beale

    209

    PDF
  • Detecting Unsatisfiable CSPs by Coloring the Micro-Structure

    Daya Ram Gaur, W. Ken Jackson, William S. Havens

    215

    PDF

Efficient Reasoning

  • Problem Structure in the Presence of Perturbations

    Carla P. Gomes, Bart Selman

    221

    PDF
  • Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP

    Rahul Roy-Chowdhury, Mukesh Dalal

    227

    PDF

Heuristics for Scheduling

  • Beyond Contention: Extending Texture-Based Scheduling Heuristics

    J. Christopher Beck, Andrew J. Davenport, Edward M. Sitarski, Mark S. Fox

    233

    PDF
  • Texture-Based Heuristics for Scheduling Revisited

    J. Christopher Beck, Andrew J. Davenport, Edward M. Sitarski, Mark S. Fox

    241

    PDF

Information Retrieval

  • Query Optimization Using Local Completeness

    Oliver M. Duschka

    249

    PDF
  • Template-Based Information Mining from HTML Documents

    Jane Yung-jen Hsu, Wen-tau Yih

    256

    PDF

Local Search: Beyond SAT

  • Local Search Algorithms for Partial MAXSAT

    Byungki Cha, Kazuo Iwama, Yahiko Kambayashi, Shuichi Miyazaki

    263

    PDF
  • Solving Linear Pseudo-Boolean Constraint Problems with Local Search

    Joachim P. Walser

    269

    PDF

Local Search Techniques

  • Tabu Search for SAT

    Bertrand Mazure, Lakhdar SaÏs, Éric Grégoire

    281

    PDF
  • Variable-Selection Heuristics in Local Search for SAT

    Alex S. Fukunaga

    275

    PDF

Problem Solving & Computational Resources

  • Models of Continual Computation

    Eric Horvitz

    286

    PDF
  • Complex Goal Criteria and Its Application in Design-to-Criteria Scheduling

    Thomas Wagner, Alan Garvey, Victor Lesser

    294

    PDF

Scheduling

  • Effective Redundant Constraints for Online Scheduling

    Lise Getoor, Greger Ottosson, Markus Fromherz, Björn Carlson

    302

    PDF
  • Stochastic Procedures for Generating Feasible Schedules

    Angelo Oddi, Stephen F. Smith

    308

    PDF

Search (Cost)

  • The Scaling of Search Cost

    Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh

    315

    PDF
  • Evidence for Invariants in Local Search

    David McAllester, Bart Selman, Henry Kautz

    321

    PDF

Structure of Constraint Satisfaction Problems

  • Summarizing CSP Hardness with Continuous Probability Distributions

    Daniel Frost, Irina Rish, Lluís Vila

    327

    PDF
  • Exploiting the Deep Structure of Constraint Satisfaction Problems with Quantum Computers

    Tad Hogg

    334

    PDF
  • Clustering at the Phase Transition

    Andrew J. Parkes

    340

    PDF

Primary Sidebar