We can solve 3-SAT "quickly" by applying it to superposed booleans on interaction nets - discu.eu

Reddit

We can solve 3-SAT "quickly" by applying it to superposed booleans on interaction nets https://twitter.com/VictorTaelin/status/1744788091833917696 30 comments 9/1/2024 compsci

Linking pages

Simple SAT Solver via superpositions · GitHub https://gist.github.com/VictorTaelin/9061306220929f04e7e6980f23ade615 16 comments

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:twitter.com

Search title: We can solve 3-SAT "quickly" by applying it to superposed booleans on interaction nets

See how to search.

Submit link to: