Avis, D. Living with lrs. In Discrete and Computational Geometry (Tokyo,  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Ramsey Theory Applications - Rosta (2004) (Correct)
...., K s,n ) for fixed s and n. Pikhurko made his C program using a floating point computational free linear programming software, lp solve maintained by Berkelaar [35] Avis rewrote Pikhurko s program to be linked with his exact arithmetic LP code contained in the vertex enumeration package, lrslib [23]. One of the advantages of using exact arithmetic computation is that it is much easier to prove the correctness of a result. Pikhurko remarks that his MIP is not well suited to solve other non trivial cases but he hopes that his method with some relaxation will give eventually good upper and ....
D. Avis, "Living with lrs," Lecture Notes in Computer Science 1763 (2000), 47-56. Also: http://cgm.cs.mcgill.ca/ avis/C/lrs.html.
Ramsey Theory Applications - Vera Rosta Dept (Correct)
No context found.
Avis, D. Living with lrs. In Discrete and Computational Geometry (Tokyo,
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC