Many-valued logic and mixed integer programming
efficient satisfiability checking procedure
structure preserving clause form translation
scientific article; zbMATH DE number 937254