Robert D. Carr

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 7

Top Topics

Mathematical Knowledge

Randomly Generated

Integer Programming Formulation

Traveling Salesman

Top Venues

Discret. Optim.

Oper. Res. Lett.

Publications

Wayne M. Witzel, Warren D. Craft, Robert D. Carr, Deepak Kapur
Verifying Quantum Phase Estimation (QPE) using Prove-It. CoRR (2023)
Robert D. Carr, Arash Haddadan, Cynthia A. Phillips
Fractional Decomposition Tree Algorithm: A tool for studying the integrality gap of Integer Programs. Discret. Optim. 47 (2023)
Robert D. Carr, Neil Simonetti
A New Integer Programming Formulation of the Graphical Traveling Salesman Problem. IPCO (2021)
Robert D. Carr, Jennifer Iglesias, Giuseppe Lancia, Benjamin Moseley
Symmetric Linear Programming Formulations for Minimum Cut with Applications to TSP. CoRR (2020)
Wayne M. Witzel, Warren D. Craft, Robert D. Carr, Joaquín E. Madrid Larrañaga
Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge. CoRR (2020)
Robert D. Carr, Neil Simonetti
A New Integer Programming Formulation of the Graphical Traveling Salesman Problem. CoRR (2020)
Robert D. Carr, Arash Haddadan, Cynthia A. Phillips
Fractional Decomposition Tree Algorithm: A tool for studying the integrality gap of Integer Programs. CoRR (2020)
Robert D. Carr, Giuseppe Lancia
Ramsey theory and integrality gap for the independent set problem. Oper. Res. Lett. 42 (2) (2014)
Robert D. Carr, Goran Konjevod, Greg Little, Venkatesh Natarajan, Ojas Parekh
Compacting cuts: A new linear formulation for minimum cut. ACM Trans. Algorithms 5 (3) (2009)
James E. Levy, Anand Ganti, Cynthia A. Phillips, Benjamin R. Hamlet, Andrew J. Landahl, Thomas M. Gurrieri, Robert D. Carr, Malcolm S. Carroll
Brief announcement: the impact of classical electronics constraints on a solid-state logical qubit memory. SPAA (2009)
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, Thomas Taxon, James G. Uber, Kevin M. Morley
US Environmental Protection Agency Uses Operations Research to Reduce Contamination Risks in Drinking Water. Interfaces 39 (1) (2009)
Robert D. Carr, Goran Konjevod, Greg Little, Venkatesh Natarajan, Ojas Parekh
Compacting cuts: a new linear formulation for minimum cut. SODA (2007)
Egon Balas, Robert D. Carr, Matteo Fischetti, Neil Simonetti
New facets of the STS polytope generated from known facets of the ATS polytope. Discret. Optim. 3 (1) (2006)
Robert D. Carr, Harvey J. Greenberg, William E. Hart, Goran Konjevod, Erik Lauer, Henry Lin, Tod Morrison, Cynthia A. Phillips
Robust optimization of contaminant sensor placement for community water systems. Math. Program. 107 (1-2) (2006)
Robert D. Carr, Ojas Parekh
-matching problem. Oper. Res. Lett. 34 (4) (2006)
Jean-Loup Faulon, Shawn Martin, Robert D. Carr
Dynamical Robustness in Gene Regulatory Networks. CSB (2004)
Robert D. Carr, Santosh S. Vempala
On the Held-Karp relaxation for the asymmetric and symmetric traveling salesman problems. Math. Program. 100 (3) (2004)
Robert D. Carr, Giuseppe Lancia
Compact optimization can outperform separation: A case study in structural proteomics. 4OR 2 (3) (2004)
Alberto Caprara, Robert D. Carr, Sorin Istrail, Giuseppe Lancia, Brian Walenz
1001 Optimal PDB Structure Alignments: Integer Programming Methods for Finding the Maximum Contact Map Overlap. J. Comput. Biol. 11 (1) (2004)
Robert D. Carr
Separation Algorithms for Classes of STSP Inequalities Arising from a New STSP Relaxation. Math. Oper. Res. 29 (1) (2004)
Jean-Loup Faulon, Michael J. Collins, Robert D. Carr
The Signature Molecular Descriptor. 4. Canonizing Molecules Using Extended Valence Sequences. J. Chem. Inf. Model. 44 (2) (2004)
Robert D. Carr, Santosh S. Vempala
Randomized metarounding. Random Struct. Algorithms 20 (3) (2002)
Robert D. Carr, William E. Hart, Natalio Krasnogor, Jonathan D. Hirst, Edmund K. Burke, James Smith
Alignment Of Protein Structures With A Memetic Evolutionary Algorithm. GECCO (2002)
Robert D. Carr, Giuseppe Lancia
Compact vs. exponential-size LP relaxations. Oper. Res. Lett. 30 (1) (2002)
Giuseppe Lancia, Robert D. Carr, Brian Walenz, Sorin Istrail
101 optimal PDB structure alignments: a branch-and-cut algorithm for the maximum contact map overlap problem. RECOMB (2001)
Robert D. Carr, Toshihiro Fujito, Goran Konjevod, Ojas Parekh
A 2\frac{1}{10}-Approximation Algorithm for a Generalization of the Weighted Edge-Dominating Set Problem. J. Comb. Optim. 5 (3) (2001)
Robert D. Carr, Santosh S. Vempala, Jacques Mandler
Towards a 4/3 approximation for the asymmetric traveling salesman problem. SODA (2000)
Robert D. Carr, Toshihiro Fujito, Goran Konjevod, Ojas Parekh
A 2 1/10-Approximation Algorithm for a Generalization of the Weighted Edge-Dominating Set Problem. ESA (2000)
Robert D. Carr
Some Results on Node Lifting of TSP Inequalities. J. Comb. Optim. 4 (4) (2000)
Robert D. Carr, Santosh S. Vempala
Randomized metarounding (extended abstract). STOC (2000)
Robert D. Carr, Lisa Fleischer, Vitus J. Leung, Cynthia A. Phillips
Strengthening integrality gaps for capacitated network design and covering problems. SODA (2000)
Robert D. Carr, Srinivas Doddi, Goran Konjevod, Madhav V. Marathe
On the red-blue set cover problem. SODA (2000)
Robert D. Carr
Separating Clique Tree and Bipartition Inequalities in Polynominal Time. IPCO (1995)