Translating statements of symbolic logic into zero-one linear programming

DOI10.1007/BF01933441zbMath0172.30402OpenAlexW2056352049MaRDI QIDQ5560298

Yrjö Seppälä

Publication date: 1968

Published in: BIT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01933441

zbMATH Keywords

languages, automata, networks

Cites Work

• Branch-and-Bound Methods: A Survey
• Unnamed Item

This page was built for publication: Translating statements of symbolic logic into zero-one linear programming