• 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
    • 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
  • 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

  • Twitter
  • Facebook
  • LinkedIn
Home / Proceedings / Proceedings of the International Symposium on Combinatorial Search, 9 /

Vol. 9 No. 1 (2016): Ninth Annual Symposium on Combinatorial Search

Long Papers

  • Sleep Sets Meet Duplicate Elimination

    Yusra Alkhazraji,Martin Wehrle

    44966

    PDF
  • Weighted Lateral Learning in Real-Time Heuristic Search

    Vadim Bulitko,Alexander Sampley

    45217

    PDF
  • A Theoretical Framework for Constraint Propagator Triggering

    David Cohen,Christopher Jefferson,Karen Petrie

    19-27

    PDF
  • Consistent Rounding of Edge Weights in Graphs

    Stefan Funke,Sabine Storandt

    28-35

    PDF
  • Dynamic Potential Search — A New Bounded Suboptimal Search

    Daniel Gilon,Ariel Felner,Roni Stern

    36-44

    PDF
  • Partial Delete Relaxation, Unchained: On Intractable Red-Black Planning and Its Applications

    Daniel Gnad,Marcel Steinmetz,Mathäus Jany,Jörg Hoffmann,Ivan Serina,Alfonso Gerevini

    45-53

    PDF
  • Recursive Constraint Manifold Subsearch for Multirobot Path Planning with Cooperative Tasks

    Peter Karkus,Glenn Wagner,Howie Choset

    54-62

    PDF
  • Searching with a Corrupted Heuristic

    Levi Lelis,Richard Valenzano,Gabriel Nazar,Roni Stern

    63-71

    PDF
  • Finding Maximum k-Cliques Faster Using Lazy Global Domination

    Ciaran McCreesh,Patrick Prosser

    72-80

    PDF
  • Repair Policies for Not Reopening Nodes in Different Search Settings

    Vitaly Sepetnitsky,Ariel Felner,Roni Stern

    81-88

    PDF
  • A Multi-Phase Search Approach to the LEGO Construction Problem

    Ben Stephenson

    89-97

    PDF
  • A Hybrid Quantum-Classical Approach to Solving Scheduling Problems

    Tony Tran,Minh Do,Eleanor Rieffel,Jeremy Frank,Zhihui Wang,Bryan O'Gorman,Davide Venturelli,J. Beck

    98-106

    PDF
  • Path Planning in Dynamic Environments with Adaptive Dimensionality

    Anirudh Vemula,Katharina Muelling,Jean Oh

    107-115

    PDF

Short Papers

  • An Improved Metaheuristic Algorithm for Maximizing Demand Satisfaction in the Population Harvest Cutting Stock Problem

    Laura Climent,Barry O'Sullivan,Richard Wallace

    127-128

    PDF
  • Calculating the Number of Order-6 Magic Squares with Modular Lifting

    Skylar Croy,Jeremy Hansen,Daniel McQuillan

    129-130

    PDF
  • Anytime versus Real-Time Heuristic Search for On-Line Planning

    Bence Cserna,Mike Bogochow,Stephen Chambers,Michaela Tremblay,Sammie Katt,Wheeler Ruml

    131-132

    PDF
  • Numeric Planning via Search Space Abstraction (Extended Abstract)

    León Illanes,Sheila McIlraith

    133-134

    PDF
  • Optimal Solitaire Game Solutions Using A* Search and Deadlock Analysis

    Gerald Paul,Malte Helmert

    135-136

    PDF
  • Trial-Based Heuristic Tree-search for Distributed Multi-Agent Planning

    Tim Schulte,Bernhard Nebel

    137-138

    PDF
  • Extended Abstract: An Improved Priority Function for Bidirectional Heuristic Search

    Guni Sharon,Robert Holte,Ariel Felner,Nathan Sturtevant

    139-140

    PDF
  • Batch Repair with Heuristic Search

    Hilla Shinitzky,Ron Stern,Meir Kalech

    141-142

    PDF
  • Generalizing JPS Symmetry Detection: Canonical Orderings on Graphs

    Nathan Sturtevant

    143-144

    PDF
  • An Empirical Comparison of the Hardness of Multi-Agent Path Finding under the Makespan and the Sum of Costs Objectives

    Pavel Surynek,Ariel Felner,Roni Stern,Eli Boyarski

    145-146

    PDF
  • Machine Teaching as Search

    Scott Alfeld,Xiaojin Zhu,Paul Barford

    117-118

    PDF
  • Burnt Pancake Problem: New Lower Bounds on the Diameter and New Experimental Optimality Ratios

    Bruno Bouzy

    119-120

    PDF
  • Searching for Real-Time Heuristic Search Algorithms

    Vadim Bulitko

    121-122

    PDF
  • Compliant Conditions for Polynomial Time Approximation of Operator Counts

    Tathagata Chakraborti,Sarath Sreedharan,Sailik Sengupta,T. K. Satish Kumar,Subbarao Kambhampati

    123-124

    PDF
  • Stochastic Local Search over Minterms on Structured SAT Instances

    Wenxiang Chen,Darrell Whitley,Adele Howe,Brian Goldman

    125-126

    PDF

Abstracts

  • Abstracts of Papers Presented at SoCS 2016 in the Previously Published Paper Track

    Jorge Baier,Adi Botea

    148-154

    PDF

Primary Sidebar