[a / b / c / d / e / f / g / gif / h / hr / k / m / o / p / r / s / t / u / v / vg / vm / vmg / vr / vrpg / vst / w / wg] [i / ic] [r9k / s4s / vip] [cm / hm / lgbt / y] [3 / aco / adv / an / bant / biz / cgl / ck / co / diy / fa / fit / gd / hc / his / int / jp / lit / mlp / mu / n / news / out / po / pol / pw / qst / sci / soc / sp / tg / toy / trv / tv / vp / vt / wsg / wsr / x / xs] [Settings] [Search] [Mobile] [Home]
Board
▼ Settings Mobile Home
/sci/ - Science & Math
Return Catalog Bottom Refresh
Thread archived.
You cannot reply anymore.
[Advertise on 4chan]
[Return] [Catalog] [Bottom]
DMITRII Archived
math 12/08/25(Mon)06:37:38 No.16865845
File: страница 1.png (82 KB, 895x1274)
82 KB
82 KB PNG
math DMITRII 12/08/25(Mon)06:37:38 No.16865845 Archived
Hi guys, I tried to create an algorithm for finding a solution to SAT. It doesn't use branching and backtracking, unlike algorithms that use the DPLL skeleton. You can try this algorithm for different formulas in CNF. Please ask questions.
>>
DMITRII
12/08/25(Mon)06:41:34 No.16865846
DMITRII 12/08/25(Mon)06:41:34 No.16865846
File: страница 2.png (82 KB, 895x1269)
82 KB
82 KB PNG
Second page
>>
DMITRII
12/08/25(Mon)06:42:36 No.16865848
DMITRII 12/08/25(Mon)06:42:36 No.16865848
File: страница 3.png (96 KB, 898x1271)
96 KB
96 KB PNG
Third page
>>
Anonymous
12/08/25(Mon)19:06:28 No.16866115
Anonymous 12/08/25(Mon)19:06:28 No.16866115
The only booleans I need are true, false, and maybe.
[Return] [Catalog] [Top]
Post a Reply
Return Catalog Top Refresh
[Advertise on 4chan]
Delete Post: [File Only] Style:
[Disable Mobile View / Use Desktop Site]

[Enable Mobile View / Use Mobile Site]

All trademarks and copyrights on this page are owned by their respective parties. Images uploaded are the responsibility of the Poster. Comments are owned by the Poster.