Search
Now showing items 1-1 of 1
Extending the relational model with constraint satisfaction
(2021-01-01)
We propose a new approach to data driven constraint programming. By extending the relational model to handle constraints and variables as first class citizens, we are able to express first order logic SAT problems using ...