A representative model based algorithm for maximal contractions

DOI10.1007/s11432-012-4752-yzbMath1488.68089OpenAlexW2268112586MaRDI QIDQ5018142

Yi Jin, Yihua Lou, Wei Li, Jie Luo, Dongchen Jiang

Publication date: 15 December 2021

Published in: Science China Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11432-012-4752-y

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Related Items (1)

A decomposition based algorithm for maximal contractions

This page was built for publication: A representative model based algorithm for maximal contractions