Re: Solving linear system of equalities AND disequalities

From: "pmatos" <pocm@xxxxxxxxxxxxxxx>
Date: 22 Aug 2005 18:36:18 -0700

In that case, you can simply try to find a solution near the frontier
defined by the disequality polytope generated by the system.

I'm going to implent this in the next few days. Seems MathSAT already
implements this method and seems to work OK.

.

References:
- Solving linear system of equalities AND disequalities
  - From: pmatos
- Re: Solving linear system of equalities AND disequalities
  - From: Joe Hendrix
- Re: Solving linear system of equalities AND disequalities
  - From: pmatos
- Re: Solving linear system of equalities AND disequalities
  - From: Joe Hendrix

Prev by Date: Re: Solving linear system of equalities AND disequalities
Next by Date: Re: Can any one have solution???
Previous by thread: Re: Solving linear system of equalities AND disequalities
Next by thread: A Bin Packing like problem
Index(es):
- Date
- Thread