Search

Search Results

• A Brief History and Recent Achievements in Bidirectional Search

  Nathan Sturtevant, Ariel Felner

  2018-04-29

• Learning Constraints From Examples

  Luc De Raedt, Andrea Passerini, Stefano Teso

  2018-04-29

• AI Meets Chemistry

  Akihiro Kishimoto, Beat Buesser, Adi Botea

  2018-04-29

• Engineering Pro-Sociality With Autonomous Agents

  Ana Paiva, Fernando Santos, Francisco Santos

  2018-04-29

• Imagination Machines: A New Challenge for Artificial Intelligence

  Sridhar Mahadevan

  2018-04-29

• Premise Set Caching for Enumerating Minimal Correction Subsets

  Alessandro Previti, Carlos Mencía, Matti Järvisalo, Joao Marques-Silva

  2018-04-26

• Enhancing Constraint-Based Multi-Objective Combinatorial Optimization

  Miguel Terra-Neves, Inês Lynce, Vasco Manquinho

  2018-04-26

• Learning Robust Search Strategies Using a Bandit-Based Approach

  Wei Xia, Roland Yap

  2018-04-26

• Parallel Algorithms for Operations on Multi-Valued Decision Diagrams

  Guillaume Perez, Jean-Charles Régin

  2018-04-26

• Schur Number Five

  Marijn Heule

  2018-04-26

• Towards Generalization in QBF Solving via Machine Learning

  Mikoláš Janota

  2018-04-26

• Community-Based Trip Sharing for Urban Commuting

  Mohd. Hafiz Hasan, Pascal Van Hentenryck, Ceren Budak, Jiayu Chen, Chhavi Chaudhry

  2018-04-26

• Verifying Properties of Binarized Deep Neural Networks

  Nina Narodytska, Shiva Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh

  2018-04-26

• On Cryptographic Attacks Using Backdoors for SAT

  Alexander Semenov, Oleg Zaikin, Ilya Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev

  2018-04-26

• MaxSAT Resolution With the Dual Rail Encoding

  Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, Joao Marques-Silva, Antonio Morgado

  2018-04-26

• A SAT+CAS Method for Enumerating Williamson Matrices of Even Order

  Curtis Bright, Ilias Kotsireas, Vijay Ganesh

  2018-04-26

• Exact MAP-Inference by Confining Combinatorial Search With LP Relaxation

  Stefan Haller, Paul Swoboda, Bogdan Savchynskyy

  2018-04-26

• Sweep-Based Propagation for String Constraint Solving

  Roberto Amadini, Graeme Gange, Peter Stuckey

  2018-04-26

• Conditional Linear Regression

  Diego Calderon, Brendan Juba, Zongyi Li, Lisa Ruan

  2018-04-29

• Playing SNES Games With NeuroEvolution of Augmenting Topologies

  Son Pham, Keyi Zhang, Tung Phan, Jasper Ding, Christopher Dancy

  2018-04-29

• Lifelong Learning Networks: Beyond Single Agent Lifelong Learning

  Mohammad Rostami, Eric Eaton

  2018-04-29

• Solving Generalized Column Subset Selection With Heuristic Search

  Swair Shah, Baokun He, Ke Xu, Crystal Maung, Haim Schweitzer

  2018-04-29

• Influence Maximization for Social Network Based Substance Abuse Prevention

  Aida Rahmattalabi, Anamika Barman Adhikari, Phebe Vayanos, Milind Tambe, Eric Rice, Robin Baker

  2018-04-29

• Adversarial Goal Generation for Intrinsic Motivation

  Ishan Durugkar, Peter Stone

  2018-04-29

• A Framework for Evaluating Barriers to the Democratization of Artificial Intelligence

  Colin Garvey

  2018-04-29