SAT-based compilation to a non-vonNeumann processor.
Samit ChaudhuriAsmus HetzelPublished in: ICCAD (2017)
Keyphrases
- answer set programming
- sat solvers
- bounded model checking
- high speed
- computer architecture
- parallel processing
- ai planning
- high end
- instruction set
- logic programs
- boolean satisfiability
- constraint solver
- single processor
- parallel architectures
- multi core processors
- version space
- planning domains
- multiprocessor systems
- constraint networks