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 ...