Efficient Branch-and-Bound Algorithms on a Two-Level Memory System
IEEE Transactions on Software Engineering
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Control strategies for two-player games
ACM Computing Surveys (CSUR)
A dynamic scheduling strategy for the Chare-Kernel system
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
Computational Efficiency of Parallel Combinatorial OR-Tree Searches
IEEE Transactions on Software Engineering
Experimental Results on Subgoal Reordering
IEEE Transactions on Computers
The (n2-1)-puzzle and related relocation problems
Journal of Symbolic Computation
Term rewriting: Some experimental results
Journal of Symbolic Computation
Single-Agent Parallel Window Search
IEEE Transactions on Pattern Analysis and Machine Intelligence
Minimax Search Algorithms With and Without Aspiration Windows
IEEE Transactions on Pattern Analysis and Machine Intelligence
Unstructured tree search on SIMD parallel computers: a summary of results
Proceedings of the 1992 ACM/IEEE conference on Supercomputing
A bibliography on minimax trees
ACM SIGACT News
Adaptive dynamic process scheduling on distributed memory parallel computers
Scientific Programming - Special issue on operating system support for massively parallel computer architectures
Space-efficient search algorithms
ACM Computing Surveys (CSUR)
The cluster compiler—a tool for the design of time-triggered real-time systems
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
High-performance incremental scheduling on massively parallel computers: a global approach
Supercomputing '95 Proceedings of the 1995 ACM/IEEE conference on Supercomputing
New advances in Alpha-Beta searching
CSC '96 Proceedings of the 1996 ACM 24th annual conference on Computer science
Real-Time Bidirectional Search: Coordinated Problem Solving in Uncertain Situations
IEEE Transactions on Pattern Analysis and Machine Intelligence
Query Optimization in Multidatabase Systems
Distributed and Parallel Databases
The branching factor of regular search spaces
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Complexity analysis admissible heuristic search
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Single-agent search in the presence of deadlocks
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Stochastic node caching for memory-bounded search
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
An IDA algorithm for optimal spare allocation
Proceedings of the 1999 ACM symposium on Applied computing
Efficient progressive sampling
KDD '99 Proceedings of the fifth ACM SIGKDD international conference on Knowledge discovery and data mining
Time-quality tradeoffs in reallocative negotiation with combinatorial contract types
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Sacre: a constraint satisfaction problem based theorem prover
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
A space-time tradeoff for memory-based heuristics
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Transposition table driven work scheduling in distributed search
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Time-space tradeoffs for tree search and traversal
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
An efficient approximate algorithm for winner determination in combinatorial auctions
Proceedings of the 2nd ACM conference on Electronic commerce
Computer Go: an AI oriented survey
Artificial Intelligence
Algorithm for optimal winner determination in combinatorial auctions
Artificial Intelligence
Games, computers and artificial intelligence
Artificial Intelligence - Chips challenging champions: games, computers and Artificial Intelligence
Disjoint pattern database heuristics
Artificial Intelligence - Chips challenging champions: games, computers and Artificial Intelligence
Games solved: now and in the future
Artificial Intelligence - Chips challenging champions: games, computers and Artificial Intelligence
A Performance Analysis of Transposition-Table-Driven Work Scheduling in Distributed Search
IEEE Transactions on Parallel and Distributed Systems
On the asymptotic performance of IDA*
Annals of Mathematics and Artificial Intelligence
Deep Blue's contribution to AI
Annals of Mathematics and Artificial Intelligence
Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference
Journal of Automated Reasoning
SPS-Parallelism + SETHEO = SPTHEO
Journal of Automated Reasoning
Nonnumeric search results on the EM-4 distributed-memory multiprocessor
Proceedings of the 1994 ACM/IEEE conference on Supercomputing
Real-Time Search for Autonomous Agents and Multiagent Systems
Autonomous Agents and Multi-Agent Systems
Towards Flexible Teamwork in Persistent Teams: Extended Report
Autonomous Agents and Multi-Agent Systems
Unidirectional and Bidirectional Search Algorithms
IEEE Software
IEEE Transactions on Knowledge and Data Engineering
Enhanced Iterative-Deepening Search
IEEE Transactions on Pattern Analysis and Machine Intelligence
Unstructured Tree Search on SIMD Parallel Computers
IEEE Transactions on Parallel and Distributed Systems
Runtime Incremental Parallel Scheduling (RIPS) on Distributed Memory Computers
IEEE Transactions on Parallel and Distributed Systems
Specification and Analysis of Real-Time Problem Solvers
IEEE Transactions on Software Engineering
Chunking in Soar: The Anatomy of a General Learning Mechanism
Machine Learning
Research directions for coevolution of rules and routers
Proceedings of the 2003 international symposium on Physical design
Interactive navigation in complex environments using path planning
I3D '03 Proceedings of the 2003 symposium on Interactive 3D graphics
IAAI '93 Proceedings of the The Fifth Conference on Innovative Applications of Artificial Intelligence
Recent Progress in the Design and Analysis of Admissible Heuristic Functions
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Action Timing Discretization with Iterative-Refinement
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
A Formal Model of Trade-off between Optimization and Execution Costs in Semantic Query Optimization
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Partial Order Reduction in Directed Model Checking
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Asynchronous Random Polling Dynamic Load Balancing
ISAAC '99 Proceedings of the 10th International Symposium on Algorithms and Computation
Unifying Single-Agent and Two-Player Search
AI '00 Proceedings of the 13th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
Searching for Macro Operators with Automatically Generated Heuristics
AI '01 Proceedings of the 14th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
AI '02 Proceedings of the 15th Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Clue as a Testbed for Automated Theorem Proving
AI '02 Proceedings of the 15th Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Anytime Lower Bounds for Constraint Violation Minimization Problems
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Relevance Cuts: Localizing the Search
CG '98 Proceedings of the First International Conference on Computers and Games
Solving Kriegspiel-Like Problems: Examining Efficient Search Methods
CG '00 Revised Papers from the Second International Conference on Computers and Games
New Self-Play Results in Computer Chess
CG '00 Revised Papers from the Second International Conference on Computers and Games
Prediction of Regular Search Tree Growth by Spectral Analysis
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Finding Optimal Solutions to Atomix
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Theory and Practice of Time-Space Trade-Offs in Memory Limited Search
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Sequencing of Contract Types for Anytime Task Reallocation
AMET '98 Selected Papers from the First International Workshop on Agent Mediated Electronic Trading on Agent Mediated Electronic Commerce
Artificial intelligence for design
Formal engineering design synthesis
On producing join results early
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Iterative-refinement for action timing discretization
Eighteenth national conference on Artificial intelligence
Handbook of data mining and knowledge discovery
Controlling the learning process of real-time heuristic search
Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
An asynchronous complete method for distributed constraint optimization
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Finding the smallest image of a set
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
An Effective Near-Optimal State-Space Search Method: An Application to a Scheduling Problem
Artificial Intelligence Review
The Journal of Supercomputing
Enhancing Stochastic Search Performance by Value-Biased Randomization of Heuristics
Journal of Heuristics
Performance evaluation of parallel iterative deepening A* on clusters of workstations
Performance Evaluation - Performance modelling and evaluation of high-performance parallel and distributed systems
Journal of the ACM (JACM)
Adversarial Search by Evolutionary Computation
Evolutionary Computation
Context-Centric Needs Anticipation Using Information Needs Graphs
Applied Intelligence
Multi-agent Physical A* with Large Pheromones
Autonomous Agents and Multi-Agent Systems
Finding optimal solutions to the graph partitioning problem with heuristic search
Annals of Mathematics and Artificial Intelligence
Adopt: asynchronous distributed constraint optimization with quality guarantees
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Bucket elimination for multiobjective optimization problems
Journal of Heuristics
Breadth-first heuristic search
Artificial Intelligence
Heuristic shortest path algorithms for transportation applications: state of the art
Computers and Operations Research
Cut-and-solve: an iterative search strategy for combinatorial optimization problems
Artificial Intelligence
A spatial path scheduling algorithm for EDGE architectures
Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
Proceedings of the 5th international conference on Generative programming and component engineering
Model-based diagnosis for open systems fault management
AI Communications
Maximizing over multiple pattern databases speeds up heuristic search
Artificial Intelligence
Managing restaurant tables using constraints
Knowledge-Based Systems
Decentralized task allocation using magnet: an empirical evaluation in the logistics domain
Proceedings of the ninth international conference on Electronic commerce
Efficient interval partitioning-Local search collaboration for constraint satisfaction
Computers and Operations Research
Duality in permutation state spaces and the dual search algorithm
Artificial Intelligence
Anytime search in dynamic graphs
Artificial Intelligence
Hierarchical Shortest Pathfinding Applied to Route-Planning for Wheelchair Users
CAI '07 Proceedings of the 20th conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Single-Player Monte-Carlo Tree Search
CG '08 Proceedings of the 6th international conference on Computers and Games
Efficient interval partitioning for constrained global optimization
Journal of Global Optimization
Linear-time disk-based implicit graph search
Journal of the ACM (JACM)
Large-Scale Parallel Computing on Grids
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic design of optimal logic circuits based on ternary quantum-dot cellular automata
WSEAS Transactions on Circuits and Systems
Scaling Search with Pattern Databases
Model Checking and Artificial Intelligence
Survey on Directed Model Checking
Model Checking and Artificial Intelligence
A Flexible Search Framework for CHR
Constraint Handling Rules
Hierarchical Adaptive State Space Caching Based on Level Sampling
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Using swamps to improve optimal pathfinding
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Search Better and Gain More: Investigating New Graph Structures for Multi-Agent Negotiations
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
LRTA* Works Much Better with Pessimistic Heuristics
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
GP-rush: using genetic programming to evolve solvers for the rush hour puzzle
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
ACM Computing Surveys (CSUR)
Best-first frontier search with delayed duplicate detection
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Structured duplicate detection in external-memory graph search
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Automatic heuristic construction in a complete general game player
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
A breadth-first approach to memory-efficient graph search
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Cost-algebraic heuristic search
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Partial pathfinding using map abstraction and refinement
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
External-memory pattern databases using structured duplicate detection
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
On the value of good advice: the complexity of A* search with accurate heuristics
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Analyzing the performance of pattern database heuristics
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Predicting the performance of IDA* with conditional distributions
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Value-function approximations for partially observable Markov decision processes
Journal of Artificial Intelligence Research
Learning to improve both efficiency and quality of planning
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Depth-bounded discrepancy search
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Taming numbers and durations in the model checking integrated planning system
Journal of Artificial Intelligence Research
PHA*: finding the shortest path with A* in an unknown physical environment
Journal of Artificial Intelligence Research
Additive pattern database heuristics
Journal of Artificial Intelligence Research
Using memory to transform search on the planning graph
Journal of Artificial Intelligence Research
An improved search algorithm for optimal multiple-sequence alignment
Journal of Artificial Intelligence Research
Learning in real-time search: a unifying framework
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
FLECS: planning with a flexible commitment strategy
Journal of Artificial Intelligence Research
Building and refining abstract planning cases by change of representation language
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Dynamic control in real-time heuristic search
Journal of Artificial Intelligence Research
A general theory of additive state space abstractions
Journal of Artificial Intelligence Research
Bidirectional heuristic search reconsidered
Journal of Artificial Intelligence Research
A selective macro-learning algorithm and its application to the N × N sliding-tile puzzle
Journal of Artificial Intelligence Research
Total-order and partial-order planning: a comparative analysis
Journal of Artificial Intelligence Research
Cooperation between top-down and bottom-up theorem provers
Journal of Artificial Intelligence Research
Iterative-deepening-A: an optimal admissible tree search
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
An analysis of consecutively bounded depth-first search with applications in automated deduction
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Single-agent parallel window search: a summary of results
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Minimizing response times in real time planning and search
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Fast recursive formulations for best-first search that allow controlled use of memory
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Towards finding optimal solutions with non-admissible heuristics: a new technique
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Multi-dimensional heuristic searching
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Conspiracy numbers and caching for searching and/or trees and theorem-proving
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Learning subgoal sequences for planning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Discovering admissible heuristics by abstracting and optimizing: a transformational approach
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
The effect of rule use on the utility of explanation-based learning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Bidirectional best-first search with bounded error: summary of results
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Complete solution of the eight-puzzle and the benefit of node ordering in IDA
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Are many reactive agents better than a few deliberative ones?
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Learning of resource allocation strategies for game playing
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Cooperation of heterogeneous provers
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
An algorithm for optimal winner determination in combinatorial auctions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Switching from bidirectional to unidirectional search
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Divide-and-conquer bidirectional search: first results
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Recent progress in heuristic search: a case study of the four-peg towers of Hanoi problem
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A multiobjective frontier search algorithm
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
How to use limited memory in heuristic search
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
On bootstrapping local search with trail-markers
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Lookahead pathologies for single agent search
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Delayed duplicate detection: extended abstract
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Using aspiration windows for minimax algorithms
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
The M2M Pathfinding Algorithm Based on the Idea of Granular Computing
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Dual lookups in pattern databases
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Adopt: asynchronous distributed constraint optimization with quality guarantees
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Breadth-first heuristic search
Artificial Intelligence
Cut-and-solve: An iterative search strategy for combinatorial optimization problems
Artificial Intelligence
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Duplicate avoidance in depth-first search with applications to treewidth
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Experimenting with IDA* search algorithm in heterogeneous pervasive environments
Artificial Intelligence Review
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
A New Approach to Iterative Deepening Multiobjective A*
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
An algorithm for measurement and detection of path cheating in virtual environments
VECIMS'09 Proceedings of the 2009 IEEE international conference on Virtual Environments, Human-Computer Interfaces and Measurement Systems
Dynamic Incremental Hashing in Program Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Construction of opening book in connect6 with its application
CCDC'09 Proceedings of the 21st annual international conference on Chinese control and decision conference
Set-structured and cost-sharing heuristics for classical planning
Annals of Mathematics and Artificial Intelligence
Towards a unified model of search in theorem-proving: subgoal-reduction strategies
Journal of Symbolic Computation
Algorithms for memory hierarchies: advanced lectures
Algorithms for memory hierarchies: advanced lectures
Concurrent reactive plans: anticipating and forestalling execution failures
Concurrent reactive plans: anticipating and forestalling execution failures
Search bound strategies for rule mining by iterative deepening
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
Efficient joint detection considering complexity of contours
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
SPIN'03 Proceedings of the 10th international conference on Model checking software
Efficient modified bidirectional algorithm for optimal route-finding
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Search spaces for min-perturbation repair
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
A taxonomy of theorem-proving strategies
Artificial intelligence today
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 2 - Volume 2
On learning in agent-centered search
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Reactive scheduling in the multi-mode RCPSP
Computers and Operations Research
Very large pattern databases for heuristic search
Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing
Real-time heuristic search: first results
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
A parallel implementation of iterative-deepening-A
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Relative-Order Abstractions for the Pancake Problem
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Predicting the performance of IDA* using conditional distributions
Journal of Artificial Intelligence Research
Real-time heuristic search: first results
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
A parallel implementation of iterative-deepening-A
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Finding optimal solutions to the twenty-four puzzle
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
ABTWEAK: abstracting a nonlinear, least commitment planner
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Depth-first vs best-first search
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Search reduction in hierarchical problem solving
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Can real-time search algorithms meet deadlines?
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Linear-space best-first search: summary of results
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Performance of IDA on trees and graphs
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
An average-case analysis of branch-and-bound with applications: summary of results
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Granularity in multi-method planning
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Generating effective admissible heuristics by abstraction and reconstitution
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Iterative weakening: optimal and near-optimal policies for the selection of search bias
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Pruning duplicate nodes in depth-first search
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Depth-first vs. best-first search: new results
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Finding optimal solutions to Rubik's cube using pattern databases
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Artificial intelligence search algorithms
Algorithms and theory of computation handbook
Russian doll search for solving constraint optimization problems
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Exploiting graph properties of game trees
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Forward estimation for game-tree search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Improved limited discrepancy search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Dynamic improvements of heuristic evaluations during search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Deriving a digraph isomorphism for digraph compliance measurement
SAICSIT '10 Proceedings of the 2010 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists
A survey and classification of A* based best-first heuristic search algorithms
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
Maximizing revenue with allocation of multiple advertisements on a Web banner
Computers and Operations Research
Comparing Sanskrit texts for critical editions
COLING '10 Proceedings of the 23rd International Conference on Computational Linguistics: Posters
Case-based subgoaling in real-time heuristic search for video game pathfinding
Journal of Artificial Intelligence Research
Principled method for exploiting opening books
CG'10 Proceedings of the 7th international conference on Computers and games
Limited-Damage A*: A path search algorithm that considers damage as a feasibility criterion
Knowledge-Based Systems
Towards informed swarm verification
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Indexing Network Structure with Shortest-Path Trees
ACM Transactions on Knowledge Discovery from Data (TKDD)
Inconsistent heuristics in theory and practice
Artificial Intelligence
GA-FreeCell: evolving solvers for the game of FreeCell
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Tree search and quantum computation
Quantum Information Processing
Depth bounded explicit-state model checking
Proceedings of the 18th international SPIN conference on Model checking software
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Parallel suboptimal heuristic search for finding a w-admissible solution. performance analysis
ICANCM'11/ICDCC'11 Proceedings of the 2011 international conference on applied, numerical and computational mathematics, and Proceedings of the 2011 international conference on Computers, digital communications and computing
Learning relational bayesian classifiers from RDF data
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
The use of conflicts in searching Bayesian networks
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Reasoning with the depth-first iterative deepening strategy in the DLog system
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
Controlled reachability analysis in AI planning: theory and practice
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Heuristic perimeter search: first results
CAEPIA'05 Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence
A two-tiered global path planning strategy for limited memory mobile robots
Robotics and Autonomous Systems
Out-of-core parallel frontier search with mapreduce
HPCS'09 Proceedings of the 23rd international conference on High Performance Computing Systems and Applications
Hierarchical heuristic search revisited
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Heuristic search for the analysis of graph transition systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Heuristically driven front propagation for geodesic paths extraction
VLSM'05 Proceedings of the Third international conference on Variational, Geometric, and Level Set Methods in Computer Vision
Instantly turning a naive exhaustive search into three efficient searches with pruning
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Re-grasping: improving capability for multi-arm-robot-system by dynamic reconfiguration
ICIRA'11 Proceedings of the 4th international conference on Intelligent Robotics and Applications - Volume Part I
Improving search efficiency using possible subgoals
Mathematical and Computer Modelling: An International Journal
Intelligent transportation systems-Enabling technologies
Mathematical and Computer Modelling: An International Journal
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Evaluations of hash distributed A* in optimal sequence alignment
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Complete algorithms for cooperative pathfinding problems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Planning with SAT, admissible heuristics and A*
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Learning heuristic functions for large state spaces
Artificial Intelligence
Single-player Monte-Carlo tree search for SameGame
Knowledge-Based Systems
On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi
Fundamenta Informaticae
Self-control of the time complexity of a constraint satisfaction problem solver program
Journal of Systems and Software
Solving the traveling tournament problem with iterative-deepening A*
Journal of Scheduling
Minimal proof search for modal logic k model checking
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
MR-search: massively parallel heuristic search
Concurrency and Computation: Practice & Experience
The time complexity of A* with approximate heuristics on multiple-solution search spaces
Journal of Artificial Intelligence Research
Constraints
Reconciling exhaustive pattern matching with objects
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Map-matched trajectory compression
Journal of Systems and Software
Stratified tree search: a novel suboptimal heuristic search algorithm
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
A comparison of multiobjective depth-first algorithms
Journal of Intelligent Manufacturing
When classification becomes a problem: using branch-and-bound to improve classification efficiency
MLDM'13 Proceedings of the 9th international conference on Machine Learning and Data Mining in Pattern Recognition
Cognitive canonicalization of natural language queries using semantic strata
ACM Transactions on Speech and Language Processing (TSLP)
Predicting the size of depth-first branch and bound search trees
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Towards rational deployment of multiple heuristics in A*
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Planning stable paths for urban search and rescue robots
Robot Soccer World Cup XV
Expert Systems with Applications: An International Journal
Optimal implementation of watched literals and more general techniques
Journal of Artificial Intelligence Research
Hi-index | 0.01 |