Login / Signup
Information in propositional proofs and algorithmic proof search.
Jan Krajícek
Published in:
Electron. Colloquium Comput. Complex. (2021)
Keyphrases
</>
proof search
neural network
evolutionary algorithm
np complete
theorem prover