Conferences in DBLP
Vadim Bulitko State Abstraction in Real-Time Heuristic Search. [Citation Graph (0, 0)][DBLP ] Conf ] Alan M. Frisch Abstraction and Reformulation in the Generation of Constraint Models. [Citation Graph (0, 0)][DBLP ] Conf ] John N. Hooker A Framework for Integrating Optimization and Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Montserrat Abril , Miguel A. Salido , Federico Barber DFS-Tree Based Heuristic Search. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth Anderson , Robert Holte , Jonathan Schaeffer Partial Pattern Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Scot Anderson , Peter Z. Revesz CDB-PV: A Constraint Database-Based Program Verifier. [Citation Graph (0, 0)][DBLP ] Conf ] Roman Barták Generating Implied Boolean Constraints Via Singleton Consistency. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth M. Bayer , Martin Michalowski , Berthe Y. Choueiry , Craig A. Knoblock Reformulating Constraint Satisfaction Problems to Improve Scalability. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Bessiere , Emmanuel Hebrard , Brahim Hnich , Zeynep Kiziltan , Claude-Guy Quimper , Toby Walsh Reformulating Global Constraints: The Slideand RegularConstraints. [Citation Graph (0, 0)][DBLP ] Conf ] Dominique D'Almeida , Jean-François Condotta , Christophe Lecoutre , Lakhdar Sais Relaxation of Qualitative Constraint Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Johan de Kleer Dynamic Domain Abstraction Through Meta-diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Stijn De Saeger , Atsushi Shimojima Channeling Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Feldman , Gregory M. Provan , Arjan J. C. van Gemund Approximate Model-Based Diagnosis Using Greedy Stochastic Search. [Citation Graph (0, 0)][DBLP ] Conf ] Ariel Felner , Nir Ofek Combining Perimeter Search and Pattern Database Abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] Igor Gammer , Eyal Amir Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Ian P. Gent , Ian Miguel , Andrea Rendl Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Gregory , Derek Long , Maria Fox A Meta-CSP Model for Optimal Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Timothy L. Hinrichs , Michael R. Genesereth Reformulation for Extensional Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Zina M. Ibrahim , Ahmed Y. Tawfik An Abstract Theory and Ontology of Motion Based on the Regions Connection Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Ugur Kuter , Jiaqiao Hu Computing and Using Lower and Upper Bounds for Action Elimination in MDP Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Nicholas K. Jong , Peter Stone Model-Based Exploration in Continuous State Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Anders Jonsson , Andrew G. Barto Active Learning of Dynamic Bayesian Networks in Markov Decision Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Santiago Macho González , Pedro Meseguer Boosting MUS Extraction. [Citation Graph (0, 0)][DBLP ] Conf ] Sriram Raghavan , Ravindran B Homogeneous Hierarchical Composition of Areas in Multi-robot Area Coverage. [Citation Graph (0, 0)][DBLP ] Conf ] Lorenza Saitta , Pietro Torasso , Gianluca Torta Formalizing the Abstraction Process in Model-Based Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Schachte , Harald Søndergaard Boolean Approximation Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Nathan R. Sturtevant , Renee Jansen An Analysis of Map-Based Abstraction and Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Pavel Surynek Solving Difficult SAT Instances Using Greedy Clique Decomposition. [Citation Graph (0, 0)][DBLP ] Conf ] Lorenza Saitta , Jean-Daniel Zucker Abstraction and Complexity Measures. [Citation Graph (0, 0)][DBLP ] Conf ] Russ Abbott Abstraction, Emergence, and Thought. [Citation Graph (0, 0)][DBLP ] Conf ] J. Christopher Beck , Michael Gruninger What's Your Problem? The Problem of Problem Definition. [Citation Graph (0, 0)][DBLP ] Conf ] Hadrien Cambazard , Barry O'Sullivan A Reformulation-Based Approach to Explanation in Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Broderick Crawford , Carlos Castro , Eric Monfroy Integration of Constraint Programming and Metaheuristics. [Citation Graph (0, 0)][DBLP ] Conf ] David C. Haley Rule-Based Reasoning Via Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Timothy L. Hinrichs Extensional Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Michalowski , Craig A. Knoblock , Berthe Y. Choueiry Reformulating Constraint Models Using Input Data. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Pickett Using Analogy Discovery to Create Abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] Miguel A. Salido Distributed CSPs: Why It Is Assumed a Variable per Agent? [Citation Graph (0, 0)][DBLP ] Conf ] Eric Schkufza Decomposition of Games for Efficient Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Xuan-Ha Vu , Barry O'Sullivan Generalized Constraint Acquisition. [Citation Graph (0, 0)][DBLP ] Conf ] Fan Yang , Joseph C. Culberson , Robert Holte Using Infeasibility to Improve Abstraction-Based Heuristics. [Citation Graph (0, 0)][DBLP ] Conf ] Rong Zhou Leveraging Graph Locality Via Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] 