scientific article; zbMATH DE number 516996

From MaRDI portal

Publication:4282516

Jump to:navigation, search

zbMath0790.90052MaRDI QIDQ4282516

Bruno Legeard, M. Hibti, Henri Lombardi

Publication date: 23 June 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

satisfiability problem hereditarily finite sets equivalent linear integer programming problem set unification problem

Mathematics Subject Classification ID

Integer programming (90C10) Logic in artificial intelligence (68T27)

Related Items (1)

Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4282516&oldid=18205651"