Robert D. Carr

33 papers A* 5A 2B 4Journal 21Unranked 1

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