Notes on the Design of an Open Boolean Solver.

Antoine Rauzy

Browse the full ICLP paper archive.