✳flâneur — a map of the web's best reading
Untangle: Solving problems with fuzzy constraints
inkandswitch.com · 5,079 words · saved by 1 readers
How to sketch, and satisfy, logic problems
Thinking, fuzziness, and constraints Computers can be great at solving logic problems like the ones mentioned above, as long as we can describe them in a formally correct and detailed way. Special programming languages and techniques—theorem provers—exist, and can calculate solutions for huge datasets. These languages are most often used by mathematicians to help with proving formal theorems, or by domain experts to aid in modeling large scale industrial production systems. A Constraint satisfaction problem can be solved using logic programming techniques such as Satisfiability Modulo Theories
Explore this link on the map →related reading
- Inkbase: Programmable Inkinkandswitch.com
- Embark: Dynamic documents for making plansinkandswitch.com
- When Models Manipulate Manifolds: The Geometry of a Counting Tasktransformer-circuits.pub
- Crosscut: Drawing Dynamic Modelsinkandswitch.com
- Notes on Puzzles — Nabeel S. Qureshinabeelqu.co
- Problem solving is often a matter of cooking up an appropriate Markox chainmath.uchicago.edu
- How To Think Real Good | Meta-rationalitymetarationality.com
- Idea Listjzhao.xyz
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- Building geometry solvers for the IMO Grand Challengejesse-michael-han.github.io
- About | Untoolsuntools.co
- GitHub - ByteByteGoHq/system-design-101: Explain complex systems using visuals and simple terms. Help you prepare for system design interviews. · GitHubgithub.com