Product optimization in stepwise design

DOI10.1007/978-3-030-76020-5_4OpenAlexW3170871109MaRDI QIDQ2115903

Jeho Oh, David Benavides, Ruben Heradio, D. S. Batory

Publication date: 22 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-76020-5_4

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites Work

• Solving problems by formula manipulation in logic and linear inequalities
• A unifying model of physical databases
• Knowledge Compilation meets Uniform Sampling
• The structure of the “THE”-multiprogramming system
• Program development by stepwise refinement
• Unnamed Item
• Unnamed Item
• Unnamed Item