Browsing Electronic Theses and Dissertations by Author "Valdron, Michael J."
Now showing items 1-1 of 1
-
Extending the relational model with constraint satisfaction
Valdron, Michael J. (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 ...