#13558: Add Philipp Jovanovic ANF to CNF converter
-------------------------------+--------------------------------------------
Reporter: malb | Owner: jason
Type: enhancement | Status: new
Priority: major | Milestone: sage-5.5
Component: misc | Resolution:
Keywords: SAT | Work issues:
Report Upstream: N/A | Reviewers:
Authors: | Merged in:
Dependencies: | Stopgaps:
-------------------------------+--------------------------------------------
Comment (by cosh):
Replying to [comment:5 malb]:
> Replying to [comment:4 cosh] :
> > What I want to do next is adding some error checking mechanisms for
user parameters and re-implementing the `c_lin_cnf` function in a more
generic way. Anything else that I forgot?
> As far as I can see, no.
Something that I think would be nice to have is some kind of mechanism
which automatically selects (per polynomial?!) the "best suited"
conversion strategy, as by now the user has to specify how all the
polynomials get converted. But first one would have to find out what
"best" means in this case before anything in that direction could be done.
And even then I guess we would get very fast into NP complete areas. So a
heuristic would be fine, too ...
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13558#comment:6>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
