Re: Integer Factorization with SAT

I went down this path and didn't have much luck.

yes with certain situations you can eliminate possibilities, BUT the
longer the (length of the answer) in bits the more possibilities you
will face.

try 11 x 13

This could lead to multiple "possible" multiplication results. Even if
you can solve 2sat in poly time, the heart of the problem is how many
solutions can you find, and then a decision of which one is correct.

Theres Hope! Using what I call imaging or partial view, where if
theres a one in the number, the OTHER number will appear. I'm probably
not explaining this super well, but if you make images a "priority"
choice that could lead to an answer faster.
.

Relevant Pages

  • Re: Some Questions #2
    ... must be a multiple of those needed by char? ... I don't believe theres any such requirement, but any actual hardware ...
    (comp.lang.c)
  • Re: Multiple OE Databases on One Mac
    ... I found multiple copies of OE on ... no luck. ... tried in vain to get Identity #1 back as the primary Identity, ... I can't recall the specific messages I rec'd, but OE did not seem to want to ...
    (microsoft.public.internet.outlookexpress.mac)
  • no sound on my recordings
    ... been trying to record my cassette tapes with audacity and theres no sound, ... have followed all instructions i could find, with no luck. ...
    (microsoft.public.windowsmedia.player)
  • Re: Damaged shuttle crew bailout vehicle?
    ... >>Lets say theres a problem on reentry, where the landing gear may not ... Good luck with that. ...
    (sci.space.shuttle)
  • Re: Some Questions #2
    ... must be a multiple of those needed by char? ... I don't believe theres any such requirement, but any actual hardware ...
    (comp.lang.c)