Re^2: Logical Equations

A "LP-based tree search" jumps to mind to solve the IP (Integer Programming) problem. I recall this works well for the general case.

Comment on Re^2: Logical Equations

Replies are listed 'Best First'.
Re^3: Logical Equations by tilly (Archbishop) on Jul 09, 2009 at 15:18 UTC
There are many NP complete problems with heuristic solutions that work well for some set of real world inputs. There are also many apparently NP complete problems where you can tackle a reduced form of the problem into something simpler to solve. However none of those solutions work well in the general case.	[reply]