Toward Domain-Specific Solvers for Distributed Consistency.
Lindsey KuperPeter AlvaroPublished in: SNAPL (2019)
Keyphrases
- domain specific
- general purpose
- domain independent
- cooperative
- distributed data
- global constraints
- distributed environment
- constraint problems
- communication cost
- fault tolerant
- distributed systems
- sat solvers
- neural network
- databases
- consistency checking
- load balancing
- computer networks
- sensor networks
- genetic algorithm
- constraint networks
- distributed architecture
- database