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
related reading
- Inkbase: Programmable Inkinkandswitch.com
- Embark: Dynamic documents for making plansinkandswitch.com
- A Dumb Introduction to z3ar-ms.me
- Crosscut: Drawing Dynamic Modelsinkandswitch.com
- When Models Manipulate Manifolds: The Geometry of a Counting Tasktransformer-circuits.pub
- Amelia Wattenbergerwattenberger.com
- Notes on Puzzles — Nabeel S. Qureshinabeelqu.co
- Problem solving is often a matter of cooking up an appropriate Markox chainmath.uchicago.edu
- Idea Listjzhao.xyz
- How To Think Real Good | Meta-rationalitymetarationality.com
- Sketchplanations - Simplifying complex ideas in sketchessketchplanations.com
- Constraint Systemsconstraint.systems