Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema.

Isabela Dramnesc Tudor Jebelean

Published in: FROM (2019)

Keyphrases

sorting algorithms
data structures and algorithms
program synthesis
proof planning
neural network
theorem prover
theorem proving
markov random field
texture synthesis