I-SATCHMO

MaRDI QIDQ18710swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=594315

Described by source

• I-SATCHMO: An improvement of SATCHMO

Cited in

(9)

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

This page was built for software: I-SATCHMO