Login / Signup

SATViz: Real-Time Visualization of Clausal Proofs.

Tim HolzenkampKevin KuryshevThomas OltmannLucas WäldeleJohann ZuberTobias HeuerMarkus Iser
Published in: CoRR (2022)
Keyphrases
  • real time
  • theorem proving
  • decision procedures
  • real time systems
  • genetic algorithm
  • data analysis
  • neural network
  • vision system
  • artificial intelligence
  • expert systems
  • low cost
  • first order logic