Scarab

MaRDI QIDQ19429swMATHFDO

Official website http://kix.istc.kobe-u.ac.jp/~soh/scarab/

Cited in

(3)

• scientific article; zbMATH DE number 6747882 (Why is no real title available?)
• GRAPPA
• Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem

This page was built for software: Scarab