Loop Calculus for satisfiability

  • Authors:
  • Lukas Kroc;Michael Chertkov

  • Affiliations:
  • Cornell University, Ithaca, NY;Los Alamos National Laboratory, Los Alamos, NM

  • Venue:
  • AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Spatial scaffolding is a naturally occurring human teaching behavior, in which teachers use their bodies to spatially structure the learning environment to direct the attention of the learner. Robotic systems can take advantage of simple, highly reliable ...