• 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
    • News
    • Officers and Committees
    • Staff
    • Bylaws
    • Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • AI for Humanity Award
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • Partnerships
    • Resources
    • Mailing Lists
    • Past Presidential Addresses
    • AAAI 2025 Presidential Panel on the Future of AI Research
    • Presidential Panel on Long-Term AI Futures
    • Past Policy Reports
      • The Role of Intelligent Systems in the National Information Infrastructure (1995)
      • A Report to ARPA on Twenty-First Century Intelligent Systems (1994)
    • Logos
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • EAAI
    • HCOMP
    • IAAI
    • ICWSM
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
    • Contribute
    • Order Proceedings
  • aaai-icon_ai-magazine-line-yellowAI Magazine
  • MembershipMembership
    • Member Login
    • Chapters

  • Career CenterAI Jobs
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

  • Twitter
  • Facebook
  • LinkedIn
Home / Proceedings / Proceedings of the AAAI Conference on Artificial Intelligence, 10 /

Problem Solving

Problem Solving: Constraint Satisfaction

  • Efficient Propositional Constraint Propagation

    Mukesh Dalal

    409

    PDF
  • Semantic Evaluation as Constraint Network Consistency

    Nicholas J. Haddock

    415

    PDF
  • An Efficient Cross Product Representation of the Constraint Satisfaction Problem Search Space

    Paul D. Hubbe, Eugene C. Freuder

    421

    PDF
  • On the Density of Solutions in Equilibrium Points for the Queens Problem

    Paul Morris

    428

    PDF
  • An Improved Connectionist Activation Function for Energy Minimization

    Gadi Pinkas, Rina Dechter

    434

    PDF
  • A New Method for Solving Hard Satisfiability Problems

    Bart Selman, Hector Levesque, David Mitchell

    440

    PDF
  • On the Minimality and Decomposability of Constraint Networks

    Peter van Beek

    447

    PDF
  • Solving Constraint Satisfaction Problems Using Finite State Automata

    Nageshwara Rao Vempaty

    453

    PDF

Problem Solving: Hardness and Easiness

  • Hard and Easy Distributions of SAT Problems

    David Mitchell, Bart Selman, Hector Levesque

    459

    PDF
  • How Long Will It Take?

    Ron Musick, Stuart Russell

    466

    PDF
  • Using Deep Structure to Locate Hard Problems

    Colin P. Williams, Tad Hogg

    472

    PDF

Problem Solving: Real-Time

  • Run-Time Prediction for Production Systems

    Franz Barachini, Hans Mistelberger, Anoop Gupta

    478

    PDF
  • Can Real-Time Search Algorithms Meet Deadlines?

    Babak Hamidzadeh, Shashi Shekhar

    486

    PDF
  • Comparison of Three Algorithms for Ensuring Serializable Executions in Parallel Production Systems

    James G. Schmolze, Daniel Neiman

    492

    PDF
  • Real-time Metareasoning with Dynamic Trade-off Evaluation

    Ursula M. Schwuttke, Les Gasser

    500

    PDF

Problem Solving: Search and Expert Systems

  • On Optimal Game Tree Propagation for Imperfect Players

    Eric B. Baum

    507

    PDF
  • Improved Decision-Making in Game Trees: Recovering from Pathology

    Arthur L. Delcher, Simon Kasif

    513

    PDF
  • Modeling Accounting Systems to Support Multiple Tasks: A Progress Report

    Walter Hamscher

    519

    PDF
  • Moving Target Search with Intelligence

    Toru Ishida

    525

    PDF
  • Linear-Space Best-First Search: Summary of Results

    Richard E. Korf

    533

    PDF
  • Performance of IDA on Trees and Graphs

    A. Mahanti, S. Ghosh, D. S. Nau, L. N. Kanal, A. K. Pal

    539

    PDF
  • An Average-Case Analysis of Branch-and-Bound with Applications: Summary of Results

    Weixiong Zhang, Richard E. Korf

    545

    PDF

Primary Sidebar