Logic and Random Discrete Structures (Dagstuhl Seminar 22061).

Erich Grädel Phokion G. Kolaitis Marc Noy

Published in: Dagstuhl Reports (2022)

Keyphrases

logic programming
genetic algorithm
structural features
neural network
search algorithm
np complete
modal logic
computational properties
truth values
proof theory