Search

Search Results

• Solving Peg Solitaire with Bidirectional BFIDA*

  Joseph Barker, Richard Korf

  420-426

  2021-09-20

• Predicting Satisfiability at the Phase Transition

  Lin Xu, Holger Hoos, Kevin Leyton-Brown

  584-590

  2021-09-20

• Non-Model-Based Search Guidance for Set Partitioning Problems

  Serdar Kadioglu, Yuri Malitsky, Meinolf Sellmann

  493-498

  2021-09-20

• Conflict-Based Search For Optimal Multi-Agent Path Finding

  Guni Sharon, Roni Stern, Ariel Felner, Nathan Sturtevant

  563-569

  2021-09-20

• Iterative Resource Allocation for Memory Intensive Parallel Search Algorithms on Clouds, Grids, and Shared Clusters

  Alex Fukunaga, Akihiro Kishimoto, Adi Botea

  478-486

  2021-09-20

• Optimization and Controlled Systems: A Case Study on Thermal Aware Workload Dispatching

  Andrea Bartolini, Michele Lombardi, Michela Milano, Luca Benini

  427-433

  2021-09-20

• Partial-Expansion A* with Selective Node Generation

  Ariel Felner, Meir Goldenberg, Guni Sharon, Roni Stern, Tal Beja, Nathan Sturtevant, Jonathan Schaeffer, Robert Holte

  471-477

  2021-09-20

• An Efficient Higher-Order Consistency Algorithm for Table Constraints

  Anastasia Paparrizou, Kostas Stergiou

  535-541

  2021-09-20

• Solving Temporal Problems Using SMT: Weak Controllability

  Alessandro Cimatti, Andrea Micheli, Marco Roveri

  448-454

  2021-09-20

• Last-Mile Restoration for Multiple Interdependent Infrastructures

  Carleton Coffrin, Pascal Van Hentenryck, Russell Bent

  455-463

  2021-09-20

• Configuration Checking with Aspiration in Local Search for SAT

  Shaowei Cai, Kaile Su

  434-440

  2021-09-20

• Fast and Accurate Predictions of IDA*'s Performance

  Levi Lelis, Sandra Zilles, Robert Holte

  514-520

  2021-09-20

• A Dichotomy for 2-Constraint Forbidden CSP Patterns

  Martin Cooper, Guillaume Escamocher

  464-470

  2021-09-20

• Polynomially Decomposable Global Cost Functions in Weighted Constraint Satisfaction

  Jimmy Lee, Ka Lun Leung, Yi Wu

  507-513

  2021-09-20

• DUCT: An Upper Confidence Bound Approach to Distributed Constraint Optimization Problems

  Brammert Ottens, Christos Dimitrakakis, Boi Faltings

  528-534

  2021-09-20

• Don't Be Strict in Local Search!

  Serge Gaspers, Eun Jung Kim, Sebastian Ordyniak, Saket Saurabh, Stefan Szeider

  486-492

  2021-09-20

• On the Relation of Constraint Answer Set Programming Languages and Algorithms

  Yuliya Lierler

  521-527

  2021-09-20

• MCTS Based on Simple Regret

  David Tolpin, Solomon Shimony

  570-576

  2021-09-20

• Two New Local Search Strategies for Minimum Vertex Cover

  Shaowei Cai, Kaile Su, Abdul Sattar

  441-447

  2021-09-20

• Filtering Decomposable Global Cost Functions

  David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex

  407-413

  2021-09-20

• Building Contextual Anchor Text Representation using Graph Regularization

  Na Dai

  24-30

  2021-09-20

• Fine-Grained Entity Recognition

  Xiao Ling, Daniel Weld

  94-100

  2021-09-20

• Dynamically Switching between Synergistic Workflows for Crowdsourcing

  Christopher Lin, Mausam Mausam, Daniel Weld

  87-93

  2021-09-20

• Online Task Assignment in Crowdsourcing Markets

  Chien-Ju Ho, Jennifer Vaughan

  45-51

  2021-09-20

• BabelRelate! A Joint Multilingual Approach to Computing Semantic Relatedness

  Roberto Navigli, Simone Paolo Ponzetto

  108-114

  2021-09-20