EN FR
EN FR


Section: New Results

Miscellaneous

  • R. El Sibaie and J.-C. Filliâtre have developed Combine, an OCaml library for combinatorics. It provides two different solutions to the exact matrix cover problem: Knuth's dancing links and ZDDs, a variant of binary decision diagrams [32] .