Login / Signup
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture.
Predrag Janicic
Filip Maric
Marko Malikovic
Published in:
Log. Methods Comput. Sci. (2019)
Keyphrases
</>
computer assisted
computer aided
foreign language
intraoperative
artificial intelligence
case study
real world
total knee replacement
cross domain
application domains
test bed
state space
image analysis
inductive inference
game playing
pattern recognition
game tree search
surgical training
machine learning