SAT Solver

125 views

Skip to first unread message

unread,

Jan 31, 2021, 9:27:31 AM1/31/21

to MiniSat

unread,

Feb 1, 2021, 6:05:19 AM2/1/21

to MiniSat

Hey folks,

can you make use of my idea like "peek probe heuristic" ?

Eg you "fire" 1000 random models in the beginning... and sort / prioritize them by the number of fullfilled clauses...

For later Variable reassignment you check through the peek probes and PARTIALLY reuse the assignment of the proper peek probe

Thorsten Kiefer schrieb am Sonntag, 31. Januar 2021 um 15:27:31 UTC+1:

https://github.com/rootmolloch-undamaged/CppCollection/blob/main/FortunaSAT.cpp

Reply all

Reply to author

Forward

0 new messages