Sign in

Logic and Random Discrete Structures (Dagstuhl Seminar 22061).

Erich GrädelPhokion G. KolaitisMarc 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