Scarab

swMATH7397MaRDI QIDQ19429FDOQ19429

Author name not available (Why is that?)

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

Cited In (3)

• Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem
• GRAPPA
• Title not available (Why is that?)

This page was built for software: Scarab