Re:Why Is Google Building a New Operating System from Scratch?
by javajosh on Friday August 18, 2017 @09:10PM
(#15050980)
When you say "naive SAT solver" do you mean one where you hard-code a boolean formula with N variables and then check every possible solution (from 0 to 2^N)? If so, does this kind of program accurately characterize the kind of work a kernel does?
[ Parent
| on HN ]
Re:Why Is Google Building a New Operating System from Scratch?
by fooker on Saturday August 19, 2017 @12:28PM
(#15054213)
No, something like the CDCL algorithm without domain specific heuristics and tweaks. I expect that is fairly representative in terms of ..say.. common data structures needed in most systems.