scientific article; zbMATH DE number 516996
From MaRDI portal
Publication:4282516
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.
satisfiability problemhereditarily finite setsequivalent linear integer programming problemset unification problem
Related Items (1)
This page was built for publication: