Reasoning about RoboCup soccer narratives
Hannaneh Hajishirzi, Julia Hockenmaier, et al.
UAI 2011
When a weighted graph is an instance of the Distance Geometry Problem (DGP), certain types of vertex orders (called discretization orders) allow the use of a very efficient, precise and robust discrete search algorithm (called Branch-and-Prune). Accordingly, finding such orders is critically important in order to solve DGPs in practice. We discuss three types of discretization orders, the complexity of determining their existence in a given graph, and the inclusion relations between the three order existence problems. We also give three mathematical programming formulations of some of these ordering problems.
Hannaneh Hajishirzi, Julia Hockenmaier, et al.
UAI 2011
Igor Devetak, Andreas Winter
ISIT 2003
Kafai Lai, Alan E. Rosenbluth, et al.
SPIE Advanced Lithography 2007
Naga Ayachitula, Melissa Buco, et al.
SCC 2007