#pdf #paper on the #Cassowary #constraint solving algorithm, which solves systems of linear equations and inequalities for user interface layout, by Badros et al., 2001. It incrementally uses the simplex algorithm from #linear-programming to solve the problem.
on 02016-08-03A #Rust implementation of the #Cassowary #constraint solving algorithm, one of the linear-time #algorithms for constraint layout.
on 02016-08-03Darius wrote a new interpreter for Chris Van Wyk’s #constraint #graphics language “IDEAL” in Python
on 02016-08-02“Making faces with Haar cascades and mixed integer linear programming”, a simple algorithm that generates faces based on the Viola-Jones #computer-vision object detection algorithm, by using a “mixed integer linear programming” #constraint solver. #algorithms
on 02016-01-18#interval-arithmetic #ebooks, including on nonlinear #constraint solving over continuous domains.
on 02016-01-05#BRL-CAD doesn’t currently have a #3D geometric #constraint solver, but they’re working on one. As of like 2009.
on 02015-11-30Oh holy shit a van Emden #paper (in #pdf) on #constraint satisfaction using #interval-arithmetic! #AWESOME! 12 pp, 2010.
on 02015-11-18an 8-page 2011 #pdf #paper by Pedamallu, Kumar, Csendes, and Posfai on continuous #constraint satisfaction by tree search by interval subdivision, aka interval partitioning (to which they give the deeply unfortunate acronym “IP”), compared with three other interval methods. Doesn’t mention Hyvonen. Recursively partitions hyperdimensional boxes along many dimensions at once, creating 2ⁿ new boxes, and uses “new dynamic stage-wise tree search" #algorithms which I don’t understand to figure out which box to partition next. Applications given to #kinematics, on which it unfortunately wastes a precious page and a half; their last stage is to pass off the feasible boxes found to a Feasible Sequential Quadratic Programming algorithm for I guess optimization or something?
on 02015-11-18a #pdf #survey #paper on #constraint propagation from 2006 by Christian Bessiere. Only 63 pages, but restricted only to finite domains!
on 02015-11-1886-page survey #paper #pdf by Jaffar and Maher of #constraint logic programming from 1994. Backwards. Rina Dechter also has a 2001 (or 2003?) overview book that is 503 pages.
on 02015-11-18#pdf #paper on #constraint reasoning with #interval-arithmetic by Eero Hyvonen. I think this is from about 1989 or 1990, since 1989 is the latest date of any citation. I think it does mention the approach of recursively subdividing intervals to progressively approach a solution, although I can’t quite understand the notation, and it mentions how it helps with cyclic constraint nets like x+t=y; y+t=z; x=1; z>11.
on 02015-11-18Chris Van Wyk’s IDEAL programming language for #constraint #graphics.
on 02015-11-16#Bret-Victor’s #constraint #graphics program Substroke, based on #programming-by-example.
on 02015-11-16a #constraint solver and #optimizer for systems of #nonlinear equations using #Haskell to implement #gradient-descent, using #automatic-differentiation, compiled to #JS using Haste and drawn with #d3, equations rendered with MathJax. Some of the visualizations don’t work for me. Most of the examples are #kinematics. By the author of #Antimony!
on 02015-10-25a #paper on #linear-equations #constraint solving, about when Gauss-Seidel converges and when it doesn’t, and showing an extended version of Gauss-Seidel with guaranteed convergence to the least-norm solution in the underdetermined case. Also shows that in the overconstrained case, bog-standard randomized Gauss-Seidel converges to the least-squares solution!
on 02015-09-20MJD’s #Linogram #constraint based drawing program only supports PostScript output and “dummy” output, which is actually an ad-hoc vector graphics format intended for debugging. In particular, like graphviz and (effectively) groff pic, it doesn’t support ASCII-art output.
on 02015-08-27