IMPORTANT NOTICE: Researchers depositing data using university windows 10 computers may encounter a "connection reset" error after a few moments, if uploading files greater than 2GB in size. This issue is related to Sophos Antivirus and is currently being investigated. If you experience difficulties, if possible please try uploading from a MacOS, Linux based, or home/personal computer, the University's Virtual Desktop Service (https://www.nottingham.ac.uk/dts/communications/remote-working/virtual-desktop.aspx) or contact digital-library-support@nottingham.ac.uk for assistance.

Now showing items 1-9 of 1

    Artificial intelligence (1)
    Artificial intelligence::Machine learning, Automated reasoning (1)
    Computer algorithms (1)
    Decision making (1)
    QA Mathematics (1)
    QA Mathematics::QA 75 Electronic computers. Computer science (1)
    Workflow -- Data processing (1)
    Workflow management systems (1)
    Workflow Satisfiability Problem; Constraint Satisfaction Problem; Satisfiablity Problem; Benchmarks; Source Codes; General-Purpose Solvers; OR-Tools; Z3; SAT4J (1)