## A BDD with JGraphT

Decision diagrams, and in particular binary decision diagrams (BDDs) [1], were originally introduced in computer science to evaluate logic

Decision diagrams, and in particular binary decision diagrams (BDDs) [1], were originally introduced in computer science to evaluate logic

Brace yourself (or flee now) -- this is a rather long post.Introduction IBM has announced the next version of CPLEX Studio (20.1), with planned

In a (much) earlier post [1], I discussed using SOS2 constraints to approximate a nonlinear function in a mixed-integer linear program (MILP). In

A few days ago, I posted about a Swing class (and supporting stuff) that I developed to facilitate my own computations research, and which I have now

Most of my research involves coding algorithms and running computational experiments with them. It also involves lots of trial-and-error, both with

This post is strictly for users of LyX.In a previous post I offered up a LyX module for typesetting pseudocode. Unfortunately, development of that

In yesterday's post, I described a simple multiple-criterion decision problem (binary decisions, no constraints), and suggested a possible way to