Heuristics: intelligent search strategies for computer problem solving
Heuristics: intelligent search strategies for computer problem solving
Making believers out of computers
Artificial Intelligence
Polynomial-average-time satisfiability problems
Information Sciences: an International Journal
Combinatorial optimization: algorithms and complexity
Combinatorial optimization: algorithms and complexity
Computation at the edge of chaos: phase transitions and emergent computation
CNLS '89 Proceedings of the ninth annual international conference of the Center for Nonlinear Studies on Self-organizing, Collective, and Cooperative Phenomena in Natural and Artificial Computing Networks on Emergent computation
Hard problems for simple default logics
Artificial Intelligence - Special issue on knowledge representation
Elimination of infrequent variables improves average case performance of satisfiability algorithms
SIAM Journal on Computing
Efficient local search for very large-scale satisfiability problems
ACM SIGART Bulletin
Systematic and nonsystematic search strategies
Proceedings of the first international conference on Artificial intelligence planning systems
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Noise strategies for improving local search
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Expected gains from parallelizing constraint solving for hard problems
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
The hardest constraint problems: a double phase transition
Artificial Intelligence
Easy problems are sometimes hard
Artificial Intelligence
Constraint-based reasoning
Knowledge compilation and theory approximation
Journal of the ACM (JACM)
Support set selection for abductive and default reasoning
Artificial Intelligence
Phase transitions and the search problem
Artificial Intelligence - Special volume on frontiers in problem solving: phase transitions and complexity
On the satisfiability and maximum satisfiability of random 3-CNF formulas
SODA '93 Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
Improving connectionist energy minimization
Journal of Artificial Intelligence Research
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Reasoning with characteristic models
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
The breakout method for escaping from local minima
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Forensic engineering techniques for VLSI CAD tools
Proceedings of the 37th Annual Design Automation Conference
Fast algebraic methods for interval constraint problems
Annals of Mathematics and Artificial Intelligence
Compute-intensive methods in artificial intelligence
Annals of Mathematics and Artificial Intelligence
Computational Forensic Techniques for Intellectual Property Protection
IHW '01 Proceedings of the 4th International Workshop on Information Hiding
Complexity of Max-SAT using stochastic algorithms
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Pushing the envelope: planning, propositional logic, and stochastic search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Assessing plausibility of explanation and meta-explanation in inter-human conflicts
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
Many representations in early vision can be constructed by performing orientation analysis along several sampling dimensions. Texture is often oriented in space, motion is oriented in space-time, and stereo is oriented in space-disparity. In these modalities, ...