Login / Signup

Program Verifier "Tatzelwurm": Reasoning about Systems of Linear Inequalities.

Thomas Käufl
Published in: CADE (1986)
Keyphrases
  • linear inequalities
  • pattern recognition
  • computer systems
  • management system
  • complex systems
  • genetic algorithm
  • search space
  • distributed systems
  • linear programming