University of Nottingham logo, linking to repository homepage
      Search 
      • Nottingham Research Data Management Repository
      • University of Nottingham Research Data Management Service
      • Search
      • Nottingham Research Data Management Repository
      • University of Nottingham Research Data Management Service
      • Search
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Search

      Show Advanced FiltersHide Advanced Filters

      Filters

      Use filters to refine the search results.

      Now showing items 1-1 of 1

      • Sort Options:
      • Relevance
      • Title Asc
      • Title Desc
      • Issue Date Asc
      • Issue Date Desc
      • Results Per Page:
      • 5
      • 10
      • 20
      • 40
      • 60
      • 80
      • 100
      Thumbnail

      Benchmarks and solvers for the Workflow Satisfiability Problem 

      Karapetyan, Daniel (The University of Nottingham, 2021-05-06)
      The Workflow Satisfiability Problem is an important problem in access control. This dataset includes the instances, instance generator and source codes of the solvers used in Daniel Karapetyan, Gregory Gutin, Solving the ...

      Browse

      All of Nottingham Research Data Management RepositoryBy Issue DateAuthorsTitlesSubjectsThis CommunityBy Issue DateAuthorsTitlesSubjects

      My Account

      UoN Login

      Discover

      AuthorKarapetyan, Daniel (1)SubjectArtificial intelligence (1)Computer algorithms (1)
      Decision making (1)
      QA Mathematics (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)... View MoreDate Issued2021 (1)

      Arkivum Files

      My Downloads

      Statistics

      Most Popular ItemsStatistics by CountryMost Popular Authors
       

      Research @ The University of Nottingham

      King's Meadow Campus

      Lenton Lane

      Nottingham, NG7 2NR

      For further information and policies refer to https://www.nottingham.ac.uk/library/research/research-data-management/index.aspx

      For further information and policies refer to Policies

      For information on accessibility refer to https://www.nottingham.ac.uk/utilities/accessibility/dspace.aspx

      and the Accessibility Statement