Homogeneity and Homogenizability: Hard Problems for the Logic SNP.

Published in: ICALP (2024)

Keyphrases

hard problems
phase transition
logic programming
statistical methods
modal logic
hyper heuristics
optimization algorithm
high throughput
genome wide
computational properties
evolutionary algorithm
upper bound
classical logic
random instances