- structs with a variable size http://en.wikipedia.org/wiki/Boolean_satisfiability_problem 41 comments rust
- [Python] Help implementing 2-satisfiability problem! http://en.wikipedia.org/wiki/Boolean_satisfiability_problem 4 comments learnprogramming
Linking pages
- Compiling Rust is NP-hard https://niedzejkob.p4.team/rust-np/ 426 comments
- An Amoeba Just Found an Entirely New Way to Solve a Classic Computing Problem : ScienceAlert https://www.sciencealert.com/an-amoeba-has-solved-an-exponentially-complex-problem-in-linear-time 226 comments
- Complexity no Bar to AI · Gwern.net http://www.gwern.net/Complexity-vs-AI 118 comments
- Miscellaneous · Gwern.net https://www.gwern.net/Notes#open-questions 103 comments
- The Next Century of Computing - by Charles Rosenbauer https://bzogrammer.substack.com/p/the-next-century-of-computing 83 comments
- GitHub - sarsko/CreuSAT: CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. https://github.com/sarsko/CreuSAT 83 comments
- What I've Learned About Formal Methods In Half a Year â Jakob's Personal Webpage https://jakob.space/blog/what-ive-learned-about-formal-methods.html 70 comments
- GitHub - dkandalov/kotlin-99: Ninety-Nine Problems in Kotlin https://github.com/dkandalov/kotlin-99 67 comments
- The Neural Net Tank Urban Legend · Gwern.net https://www.gwern.net/Tanks 61 comments
- Evolution as Backstop for Reinforcement Learning · Gwern.net https://www.gwern.net/Backstop#pain-is-the-only-school-teacher 61 comments
- The Neural Net Tank Urban Legend · Gwern.net https://gwern.net/tank 48 comments
- NLP’s generalization problem, and how researchers are tackling it https://thegradient.pub/frontiers-of-generalization-in-natural-language-processing/ 40 comments
- GitHub - crillab/gophersat: gophersat, a SAT solver in Go https://github.com/crillab/gophersat 36 comments
- Helping a stranger (and why you should understand NP-complete) – Life Beyond Fife http://lifebeyondfife.com/helping/ 29 comments
- Introduction to Constraint Programming in Python | Maxime Labonne https://mlabonne.github.io/blog/constraintprogramming/ 25 comments
- Simplifying the solver with functors - Thomas Leonard's blog http://roscidus.com/blog/blog/2014/09/17/simplifying-the-solver-with-functors/ 20 comments
- The long journey of making PHP’s Composer memory-efficient and fast | by Yanick Witschi | Medium https://medium.com/%40yanick.witschi/the-long-journey-of-making-phps-composer-memory-efficient-and-fast-63d12944aaa8 20 comments
- rust_wishlist_better_cfg.md · GitHub https://gist.github.com/PoignardAzur/8038f5ed7dc8d00e3e9472aca57fb35c 15 comments
- CTF Hacker - Spreading the knowledge http://ctfhacker.com/ctf/python/symbolic/execution/reverse/radare/2015/11/28/cmu-binary-bomb-flag2.html 13 comments
- GitHub - hugomg/hexiom: SAT-based solver for the Hexiom logic puzzle https://github.com/hugomg/hexiom 13 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:en.wikipedia.org
Search title: Boolean satisfiability problem - Wikipedia
See how to search.