For sure easier than solving it in SAT!| buttondown.com
An explainer for people who don't know computer science and are mildly curious| buttondown.com
A (directed) graph is a set of nodes, connected by arrows (edges). The nodes and edges may contain data. Here are some graphs: All graphs made with graphviz (source) Graphs are ubiquitous in software engineering: Package dependencies form directed graphs, as do module imports. The internet is a graph of links between webpages. Model checkers analyze software by exploring the “state space” of all possible configurations.| Hillel Wayne
Posted on | Hillel Wayne