I-SATCHMO

swMATH6622MaRDI QIDQ18710FDOQ18710

Author name not available (Why is that?)

Described by source

• I-SATCHMO: An improvement of SATCHMO

Cited In (4)

• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• R-SATCHMO: Refinements on I-SATCHMO
• Automated Model Building: From Finite to Infinite Models
• SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy

This page was built for software: I-SATCHMO