Separating Clique Tree and Bipartition Inequalities in Polynominal Time. - Robert D. Carr (IPCO, 1995)

A 2 1/10-Approximation Algorithm for a Generalization of the Weighted Edge-Dominating Set Problem. - Robert D. Carr; Toshihiro Fujito; Goran Konjevod; Ojas Parekh (ESA, 2000)

On the red-blue set cover problem. - Robert D. Carr; Srinivas Doddi; Goran Konjevod; Madhav V. Marathe (SODA, 2000)

Strengthening integrality gaps for capacitated network design and covering problems. - Robert D. Carr; Lisa Fleischer; Vitus J. Leung; Cynthia A. Phillips (SODA, 2000)

Towards a 4/3 approximation for the asymmetric traveling salesman problem. - Robert D. Carr; Santosh S. Vempala; Jacques Mandler (SODA, 2000)

Randomized metarounding (extended abstract). - Robert D. Carr; Santosh S. Vempala (STOC, 2000)

Some Results on Node Lifting of TSP Inequalities. - Robert D. Carr (J. Comb. Optim., 2000)

101 optimal PDB structure alignments: a branch-and-cut algorithm for the maximum contact map overlap problem. - Giuseppe Lancia; Robert D. Carr; Brian Walenz; Sorin Istrail (RECOMB, 2001)

A 2 frac{1}{10}-Approximation Algorithm for a Generalization of the Weighted Edge-Dominating Set Problem. - Robert D. Carr; Toshihiro Fujito; Goran Konjevod; Ojas Parekh (J. Comb. Optim., 2001)

Alignment Of Protein Structures With A Memetic Evolutionary Algorithm. - Robert D. Carr; William E. Hart; Natalio Krasnogor; Jonathan D. Hirst; Edmund K. Burke; James Smith (GECCO, 2002)

Compact vs. exponential-size LP relaxations. - Robert D. Carr; Giuseppe Lancia (Oper. Res. Lett., 2002)

Randomized metarounding. - Robert D. Carr; Santosh S. Vempala (Random Struct. Algorithms, 2002)

Dynamical Robustness in Gene Regulatory Networks. - Jean-Loup Faulon; Shawn Martin; Robert D. Carr (CSB, 2004)

Compact optimization can outperform separation: A case study in structural proteomics. - Robert D. Carr; Giuseppe Lancia (4OR, 2004)

1001 Optimal PDB Structure Alignments: Integer Programming Methods for Finding the Maximum Contact Map Overlap. - Alberto Caprara; Robert D. Carr; Sorin Istrail; Giuseppe Lancia; Brian Walenz (J. Comput. Biol., 2004)

The Signature Molecular Descriptor. 4. Canonizing Molecules Using Extended Valence Sequences. - Jean-Loup Faulon; Michael J. Collins 003; Robert D. Carr (J. Chem. Inf. Model., 2004)

Separation Algorithms for Classes of STSP Inequalities Arising from a New STSP Relaxation. - Robert D. Carr (Math. Oper. Res., 2004)

On the Held-Karp relaxation for the asymmetric and symmetric traveling salesman problems. - Robert D. Carr; Santosh S. Vempala (Math. Program., 2004)

New facets of the STS polytope generated from known facets of the ATS polytope. - Egon Balas; Robert D. Carr; Matteo Fischetti; Neil Simonetti (Discret. Optim., 2006)

Robust optimization of contaminant sensor placement for community water systems. - Robert D. Carr; Harvey J. Greenberg; William E. Hart; Goran Konjevod; Erik Lauer; Henry Lin; Tod Morrison; Cynthia A. Phillips (Math. Program., 2006)

A 1/2-integral relaxation for the A-matching problem. - Robert D. Carr; Ojas Parekh (Oper. Res. Lett., 2006)

Brief announcement: the impact of classical electronics constraints on a solid-state logical qubit memory. - James E. Levy; Anand Ganti; Cynthia A. Phillips; Benjamin R. Hamlet; Andrew J. Landahl; Thomas M. Gurrieri; Robert D. Carr; Malcolm S. Carroll (SPAA, 2009)

US Environmental Protection Agency Uses Operations Research to Reduce Contamination Risks in Drinking Water. - Regan Murray; William E. Hart; Cynthia A. Phillips; Jonathan W. Berry; Erik G. Boman; Robert D. Carr; Lee Ann Riesen; Jean-Paul Watson; Terra Haxton; Jonathan G. Herrmann; Robert Janke; George Gray; et al. (Interfaces, 2009)

Compacting cuts: A new linear formulation for minimum cut. - Robert D. Carr; Goran Konjevod; Greg Little; Venkatesh Natarajan; Ojas Parekh (ACM Trans. Algorithms, 2009)

Ramsey theory and integrality gap for the independent set problem. - Robert D. Carr; Giuseppe Lancia (Oper. Res. Lett., 2014)

Symmetric Linear Programming Formulations for Minimum Cut with Applications to TSP. - Robert D. Carr; Jennifer Iglesias; Giuseppe Lancia; Benjamin Moseley (CoRR, 2020)

Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge. - Wayne M. Witzel; Warren D. Craft; Robert D. Carr; Joaquín E. Madrid Larrañaga (CoRR, 2020)

A New Integer Programming Formulation of the Graphical Traveling Salesman Problem. - Robert D. Carr; Neil Simonetti (IPCO, 2021)

Verifying Quantum Phase Estimation (QPE) using Prove-It. - Wayne M. Witzel; Warren D. Craft; Robert D. Carr; Deepak Kapur (CoRR, 2023)

Fractional Decomposition Tree Algorithm: A tool for studying the integrality gap of Integer Programs. - Robert D. Carr; Arash Haddadan; Cynthia A. Phillips (Discret. Optim., 2023)