said that the use of space rcc8 model spatial reasoning, problem solving csp. csp can be generated automatically, and then resolved, the use of different algorithms and made a comparison, a simulation test.

rcc8-csp-solving
................\backtrack.c
................\baserels
................\basesplit
................\c8rels
................\c8split
................\closebaserels
................\closebasesplit
................\cover.c
................\genall.c
................\gencsp.c
................\hornrels
................\hornsplit
................\intersectrels
................\intersplit
................\Makefile
................\nprels
................\pc1.c
................\pcvb.c
................\pcwq.c
................\q8rels
................\q8split
................\rcc8.h
................\rcc8io.c
................\rcc8io.h
................\rcc8op.c
................\rcc8op.h
................\README
................\solve.c

• We are an exchange download platform that only provides communication channels. The downloaded content comes from the internet. Except for download issues, please Google on your own.
• The downloaded content is provided for members to upload. If it unintentionally infringes on your copyright, please contact us.
• Please use Winrar for decompression tools
• If download fail, Try it againg or Feedback to us.
• If downloaded content did not match the introduction, Feedback to us，Confirm and will be refund.
• Before downloading, you can inquire through the uploaded person information

Nothing．