Miguel F. Anjos





Research Publications and Online Addenda



Click here to see the reviews of most of my publications in MathSciNet (the AMS Review system).
(The hyperlink will work only if you or your institution have an active subscription to MathSciNet.)


Click here to see a list of my publications according to BibFinder.




    2009



  1. A Primal-Dual Slack Approach to Warmstarting Interior-Point Methods for Linear Programming (with A. Engau and A. Vannelli).
    In: Operations Research and Cyber-Infrastructure, John W. Chinneck, Bjarni Kristjansson, Matthew J. Saltzman, Eds. Springer-Verlag, 2009, 195-217.
    Read the online addendum to this paper.
  2. Provably Near-Optimal Solutions for Very Large Single-Row Facility Layout Problems (with G. Yen).
    Optimization and Software - special issue on Global Optimization, Vol. 24 (4,5), 2009, 805-817.
  3. On Interior-Point Warmstarts for Linear and Combinatorial Optimization (with A. Engau and A. Vannelli).
    To appear in the SIAM Journal on Optimization.
    Read the online addendum to this paper.
  4. A Hybrid Interior-Point Cutting-Plane Method for Semidefinite Programming Relaxations in Discrete Optimization (with A. Engau and A. Vannelli).
    Submitted for publication.
  5. New Relaxations for Binary Quadratic Problems Using Second-Order Cone Programming (with B. Ghaddar and J. Vera).
    Submitted for publication.
    Until it appears in print, this paper will be available via Optimization Online and you may access it directly by clicking here.
  6. Euclidean Distance Matrices, Semidefinite Programming, and Sensor Network Localization (with A. Alfakih, V. Piccialli and H. Wolkowicz).
    Submitted for publication.



    2008



  7. A Nonlinear Optimization Methodology for VLSI Fixed-Outline Floorplanning (with C. Luo and A. Vannelli).
    Journal of Combinatorial Optimization, Vol. 16 (4), 2008, 378-401.
  8. Computing Globally Optimal Solutions for Single-Row Layout Problems Using Semidefinite Programming and Cutting Planes (with A. Vannelli).
    INFORMS Journal on Computing, Vol 20 (4), 2008, 611-617.
  9. VLSI Floorplan Repair Using Dynamic Whitespace Management, Constraint Graphs, and Linear Programming (with K. Vorwerk and A. Kennings).
    Engineering Optimization, Vol. 40 (6), 2008, 559-577.
  10. Procurement Market Model for Reactive Power Services Considering System Security (with I. El-Samany, K. Bhattacharya, C. Cañizares and J. Pan).
    IEEE Transactions on Power Systems, Vol. 23 (1), 2008, 137-149.

    This paper was awarded a MITACS Best Novel Use of Mathematics in Technology Transfer 2008 Prize.

  11. A Branch-and-Cut Algorithm based on Semidefinite Programming for the Minimum k-Partition Problem (with B. Ghaddar and F. Liers).
    To appear in the Annals of Operations Research (accepted in November 2008).
    The data and results related to this paper are available here.


    2007


  12. An Extended Semidefinite Relaxation for Satisfiability.
    Journal on Satisfiability, Boolean Modeling and Computation, Vol. 4, 2007, 15-31.
  13. Large-Scale Fixed-Outline Floorplanning Design Using Convex Optimization Techniques (with C. Luo and A. Vannelli).
    In: Proceedings of ASP-DAC 2008, 198-203.
  14. On Handling Free Variables in Interior-Point Methods for Conic Linear Optimization (with S. Burer).
    SIAM Journal on Optimization, Vol. 18 (4), 2007, 1310-1325.
  15. Numerical Study of Affine Supply Function Equilibrium in AC Network-Constrained Markets (with G.Bautista and A. Vannelli).
    IEEE Transactions on Power Systems, Vol. 22 (3), 2007, 1174-1184.
  16. Formulation of Oligopolistic Competition in AC Power Networks: An NLP Approach (with G.Bautista and A. Vannelli).
    IEEE Transactions on Power Systems, Vol. 22 (1), 2007, 105-115.

    This paper was awarded a MITACS Best Student Paper 2006 Prize.


  17. Modeling Market Power in Electricity Markets: Is the Devil Only in the Details? (with G.Bautista and A. Vannelli).
    The Electricity Journal, Vol. 20 (2), 2007, 82-92.


    2006


  18. A New Mathematical-Programming Framework for Facility-Layout Design (with A. Vannelli).
    INFORMS Journal on Computing, Vol. 18 (1), 2006, 111-118.
  19. Multi-Stage Investment Decision under Contingent Demand for Networking Planning (with M. Desroches, A. Haque, O. Grodzevich, H. Wei, and H. Wolkowicz).
    In: Proceedings of IEEE Global Telecommunications Conference (Globecom) 2006.
  20. On the Computational Performance of a Semidefinite Programming Approach to Single Row Layout Problems (with A. Vannelli).
    In: Proceedings of Operations Research 2005, Hans-Dietrich Haasis, Herbert Kopfer, Jörn Schönberger, Eds. Springer-Verlag, 2006, 277-282.
  21. Analysis of Market Power Using an AC Transmission System (with G.Bautista and A. Vannelli).
    In: Proceedings of Power Systems Conference & Exposition (PSCE) 2006, 677-682.
  22. An Explicit Semidefinite Characterization of Satisfiability for Tseitin Instances on Toroidal Grid Graphs.
    Annals of Mathematics and Artificial Intelligence, Vol. 48 (1-2), 2006, 1-14.

    2005


  23. Global Lower Bounds for the VLSI Macrocell Floorplanning Problem using Semidefinite Optimization (with P.L. Takouda and A. Vannelli).
    In: Proceedings of the Fifth International Workshop System-on-Chip for Real-Time Applications (IWSOC) 2005, 275-280.
  24. A Semidefinite Optimization Approach for the Single-Row Layout Problem with Unequal Dimensions (with A. Kennings and A. Vannelli).
    Discrete Optimization, Vol. 2 (2), 2005, 113-122.
  25. Semidefinite Optimization Approaches for Satisfiability and Maximum-Satisfiability Problems .
    Journal on Satisfiability, Boolean Modeling and Computation, Vol. 1, 2005, 1-47.
  26. An Improved Semidefinite Programming Relaxation for the Satisfiability Problem .
    Mathematical Programming. Vol. 102 (3), 2005, 589-608.
  27. Optimal Pricing Policies for Perishable Products (with R.C.H. Cheng and C.S.M. Currie).
    European Journal of Operational Research, Vol. 166/1, 2005, 246-254.


    2004


  28. On Semidefinite Programming Relaxations for the Satisfiability Problem .
    Mathematical Methods of Operations Research, Vol. 60 (3), 2004, 349-367.
  29. Maximising Revenue in the Airline Industry Under One-Way Pricing (with R.C.H. Cheng and C.S.M. Currie).
    Journal of the Operational Research Society, Vol. 55 (5), 2004, 535-541.


    2003


  30. Proofs of Unsatisfiability via Semidefinite Programming.
    In: Proceedings of Operations Research 2003, Dino Ahr, Roland Fahrion, Marcus Oswald, Gerhard Reinelt, Eds. Springer-Verlag, 2004, 308-315.
  31. Revenue Management for Perishable Products Using Simulation (with R.C.H. Cheng and C.S.M. Currie).
    In: Proceedings of UKSim 03, D. Al-Dabass Ed., 2003, 114-120.


    2002


  32. An Attractor-Repeller Approach to Floorplanning (with A. Vannelli).
    Mathematical Methods of Operations Research, Vol. 56 (1), 2002, 3-27.
  33. Geometry of Semidefinite Max-Cut Relaxations via Matrix Ranks (with H. Wolkowicz).
    Journal of Combinatorial Optimization, Vol. 6 (3), 2002, 237-270.
  34. Semidefinite Programming for Discrete Optimization and Matrix Completion Problems (with H. Wolkowicz).
    Discrete Applied Mathematics, Vol. 123/124, 2002, 507-571.
  35. Strengthened Semidefinite Relaxations via a Second Lifting for the Max-Cut Problem (with H. Wolkowicz).
    Discrete Applied Mathematics, Vol. 119 (1-2), 2002, 79-106.


    2001


  36. New Convex Relaxations for the Maximum Cut and VLSI Layout Problems
    Doctoral Dissertation, Combinatorics and Optimization, University of Waterloo, Canada, June 2001.
    The complete text (in PDF format) of the dissertation is available on the University's collection of Electronic Theses and Dissertations.
    Click here to access my thesis directly.
  37. Strengthened Semidefinite Programming Relaxations for the Max-Cut Problem (with H. Wolkowicz).
    In: Proceedings of the International Conference on Advances in Convex Analysis and Global Optimization, June 5-9, 2000 - Pythagorion, Samos, Greece.
    Nicolas Hadjisavvas and Panos Pardalos, Eds. Kluwer, Nonconvex Optimization and Applications, 2001, 409-420.


    1993


  38. A Modified Broyden Update with Interpolation.
    SIAM Journal on Scientific Computing, Vol. 14 (6), 1993, 1359-1367.


    1991


  39. Solving the Generalized Symmetric Eigenvalue Problem.
    School of Computer Science, McGill University, December 1991.
    (My Honours B.Sc. project, consisting of research work in collaboration with C.C. Paige and S. Hammarling).




Back to my homepage



Last updated on 7 November 2009.