We review the use of factor graphs for the modeling and solving of large-scale inference
problems in robotics. Factor graphs are a family of probabilistic graphical models, other …

Coal and coalbed methane (CBM) coordinated exploitation is a key technology for the safe
exploitation of both resources. However, existing studies lack the quantification and …

Publisher Summary This chapter reviews that continuous constraint solving has been widely
studied in several fields of applied mathematics and computer science. In computer algebra …

Probabilistic Reasoning in Intelligent Systems is a complete and accessible account of the
theoretical foundations and computational methods that underlie plausible reasoning under …

Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …

This paper extends network-based methods of constraint satisfaction to include continuous
variables, thus providing a framework for processing temporal constraints. In this framework …

Constraint satisfaction is a simple but powerful tool. Constraints identify the impossible and
reduce the realm of possibilities to effectively focus on the possible, allowing for a natural …

Metaheuristics are the most exciting development in approximate optimization techniques of
the last two decades. They have had widespread successes in attacking a variety of difficult …

This seminal text of Computer Science, the most cited book on the subject, is now available
for the first time in paperback. Constraint satisfaction is a decision problem that involves …

A large number of problems in AI and other areas of computer science can be viewed as
special cases of the constraint-satisfaction problem. Some examples are machine vision …