Deciding Boolean Separation Logic via Small Models.

Tomás Dacík Adam Rogalewicz Tomás Vojnar Florian Zuleger

Published in: TACAS (1) (2024)

Keyphrases

small number
statistical models
probabilistic model
real world
genetic algorithm
feature selection
complex systems