On Program Completion, with an Application to the Sum and Product Puzzle.

Vladimir Lifschitz

Published in: Theory Pract. Log. Program. (2023)

Keyphrases

life cycle
loop formulas
product line
databases
computer programs
program execution
artificial intelligence
information systems
decision making
website
objective function
control system
test cases
production planning
product design
square error