Changes

              
    

          
          
        
        

            
f
1
{
f
1
{
            
2
  "access_rights": "",
2
  "access_rights": "",
            
3
  "author": "Carlos Ans\u00f3tegui",
3
  "author": "Carlos Ans\u00f3tegui",
            
4
  "author_email": "",
4
  "author_email": "",
            
5
  "citation": [],
5
  "citation": [],
            
6
  "creator_user_id": "17755db4-395a-4b3b-ac09-e8e3484ca700",
6
  "creator_user_id": "17755db4-395a-4b3b-ac09-e8e3484ca700",
            
7
  "defined_in": "https://doi.org/10.48550/arXiv.2204.01774",
7
  "defined_in": "https://doi.org/10.48550/arXiv.2204.01774",
            
8
  "doi": "10.57702/612mq197",
8
  "doi": "10.57702/612mq197",
            
n
9
  "doi_date_published": null,
n
9
  "doi_date_published": "2024-12-16",
            
10
  "doi_publisher": "TIB",
10
  "doi_publisher": "TIB",
            
n
11
  "doi_status": false,
n
11
  "doi_status": true,
            
12
  "domain": "https://service.tib.eu/ldmservice",
12
  "domain": "https://service.tib.eu/ldmservice",
            
13
  "extra_authors": [
13
  "extra_authors": [
            
14
    {
14
    {
            
15
      "extra_author": "Jordi Levy",
15
      "extra_author": "Jordi Levy",
            
16
      "orcid": ""
16
      "orcid": ""
            
17
    }
17
    }
            
18
  ],
18
  ],
            
19
  "groups": [
19
  "groups": [
            
20
    {
20
    {
            
21
      "description": "",
21
      "description": "",
            
22
      "display_name": "Logic",
22
      "display_name": "Logic",
            
23
      "id": "f7ffe1b9-29ad-4a67-9ef4-6ba82df84833",
23
      "id": "f7ffe1b9-29ad-4a67-9ef4-6ba82df84833",
            
24
      "image_display_url": "",
24
      "image_display_url": "",
            
25
      "name": "logic",
25
      "name": "logic",
            
26
      "title": "Logic"
26
      "title": "Logic"
            
27
    },
27
    },
            
28
    {
28
    {
            
29
      "description": "",
29
      "description": "",
            
30
      "display_name": "Optimization",
30
      "display_name": "Optimization",
            
31
      "id": "ea89a8b3-9451-4163-bbb8-d40df066ef5c",
31
      "id": "ea89a8b3-9451-4163-bbb8-d40df066ef5c",
            
32
      "image_display_url": "",
32
      "image_display_url": "",
            
33
      "name": "optimization",
33
      "name": "optimization",
            
34
      "title": "Optimization"
34
      "title": "Optimization"
            
35
    },
35
    },
            
36
    {
36
    {
            
37
      "description": "",
37
      "description": "",
            
38
      "display_name": "Satisfiability",
38
      "display_name": "Satisfiability",
            
39
      "id": "1556a94a-ef6a-4887-8e10-cbf6b0f06be5",
39
      "id": "1556a94a-ef6a-4887-8e10-cbf6b0f06be5",
            
40
      "image_display_url": "",
40
      "image_display_url": "",
            
41
      "name": "satisfiability",
41
      "name": "satisfiability",
            
42
      "title": "Satisfiability"
42
      "title": "Satisfiability"
            
43
    }
43
    }
            
44
  ],
44
  ],
            
45
  "id": "ba0f26d7-ca3e-44e5-861a-a03359cd9ab3",
45
  "id": "ba0f26d7-ca3e-44e5-861a-a03359cd9ab3",
            
46
  "isopen": false,
46
  "isopen": false,
            
47
  "landing_page": "",
47
  "landing_page": "",
            
48
  "license_title": null,
48
  "license_title": null,
            
49
  "link_orkg": "",
49
  "link_orkg": "",
            
50
  "metadata_created": "2024-12-16T20:10:38.865896",
50
  "metadata_created": "2024-12-16T20:10:38.865896",
            
n
51
  "metadata_modified": "2024-12-16T20:10:38.865903",
n
51
  "metadata_modified": "2024-12-16T20:10:39.255802",
            
52
  "name": "reducing-sat-to-max2xor",
52
  "name": "reducing-sat-to-max2xor",
            
53
  "notes": "Representing some problems with XOR clauses (parity 
53
  "notes": "Representing some problems with XOR clauses (parity 
            
54
constraints) can allow to apply more e\ufb03cient reasoning 
54
constraints) can allow to apply more e\ufb03cient reasoning 
            
55
techniques.",
55
techniques.",
            
n
56
  "num_resources": 0,
n
56
  "num_resources": 1,
            
57
  "num_tags": 3,
57
  "num_tags": 3,
            
58
  "organization": {
58
  "organization": {
            
59
    "approval_status": "approved",
59
    "approval_status": "approved",
            
60
    "created": "2024-11-25T12:11:38.292601",
60
    "created": "2024-11-25T12:11:38.292601",
            
61
    "description": "",
61
    "description": "",
            
62
    "id": "079d46db-32df-4b48-91f3-0a8bc8f69559",
62
    "id": "079d46db-32df-4b48-91f3-0a8bc8f69559",
            
63
    "image_url": "",
63
    "image_url": "",
            
64
    "is_organization": true,
64
    "is_organization": true,
            
65
    "name": "no-organization",
65
    "name": "no-organization",
            
66
    "state": "active",
66
    "state": "active",
            
67
    "title": "No Organization",
67
    "title": "No Organization",
            
68
    "type": "organization"
68
    "type": "organization"
            
69
  },
69
  },
            
70
  "owner_org": "079d46db-32df-4b48-91f3-0a8bc8f69559",
70
  "owner_org": "079d46db-32df-4b48-91f3-0a8bc8f69559",
            
71
  "private": false,
71
  "private": false,
            
72
  "relationships_as_object": [],
72
  "relationships_as_object": [],
            
73
  "relationships_as_subject": [],
73
  "relationships_as_subject": [],
            
t
74
  "resources": [],
t
74
  "resources": [
            
75
    {
            
76
      "cache_last_updated": null,
            
77
      "cache_url": null,
            
78
      "created": "2024-12-16T18:25:44",
            
79
      "data": [
            
80
        "dcterms:title",
            
81
        "dcterms:accessRights",
            
82
        "dcterms:creator",
            
83
        "dcterms:description",
            
84
        "dcterms:issued",
            
85
        "dcterms:language",
            
86
        "dcterms:identifier",
            
87
        "dcat:theme",
            
88
        "dcterms:type",
            
89
        "dcat:keyword",
            
90
        "dcat:landingPage",
            
91
        "dcterms:hasVersion",
            
92
        "dcterms:format",
            
93
        "mls:task",
            
94
        "datacite:isDescribedBy"
            
95
      ],
            
96
      "description": "The json representation of the dataset with its 
            
97
distributions based on DCAT.",
            
98
      "format": "JSON",
            
99
      "hash": "",
            
100
      "id": "462c928e-bc20-445a-b1de-bfafd8aa1f18",
            
101
      "last_modified": "2024-12-16T20:10:39.248210",
            
102
      "metadata_modified": "2024-12-16T20:10:39.258719",
            
103
      "mimetype": "application/json",
            
104
      "mimetype_inner": null,
            
105
      "name": "Original Metadata",
            
106
      "package_id": "ba0f26d7-ca3e-44e5-861a-a03359cd9ab3",
            
107
      "position": 0,
            
108
      "resource_type": null,
            
109
      "size": 689,
            
110
      "state": "active",
            
111
      "url": 
            
112
resource/462c928e-bc20-445a-b1de-bfafd8aa1f18/download/metadata.json",
            
113
      "url_type": "upload"
            
114
    }
            
115
  ],
            
75
  "services_used_list": "",
116
  "services_used_list": "",
            
76
  "state": "active",
117
  "state": "active",
            
77
  "tags": [
118
  "tags": [
            
78
    {
119
    {
            
79
      "display_name": "Max2XOR",
120
      "display_name": "Max2XOR",
            
80
      "id": "4c929f19-e6e1-4ac7-9711-3f505194692b",
121
      "id": "4c929f19-e6e1-4ac7-9711-3f505194692b",
            
81
      "name": "Max2XOR",
122
      "name": "Max2XOR",
            
82
      "state": "active",
123
      "state": "active",
            
83
      "vocabulary_id": null
124
      "vocabulary_id": null
            
84
    },
125
    },
            
85
    {
126
    {
            
86
      "display_name": "SAT",
127
      "display_name": "SAT",
            
87
      "id": "5cf8b1e6-d392-47d5-8bd5-d32eb696a607",
128
      "id": "5cf8b1e6-d392-47d5-8bd5-d32eb696a607",
            
88
      "name": "SAT",
129
      "name": "SAT",
            
89
      "state": "active",
130
      "state": "active",
            
90
      "vocabulary_id": null
131
      "vocabulary_id": null
            
91
    },
132
    },
            
92
    {
133
    {
            
93
      "display_name": "XOR constraints",
134
      "display_name": "XOR constraints",
            
94
      "id": "979a3fd1-5214-4328-b5d2-68a95f54446b",
135
      "id": "979a3fd1-5214-4328-b5d2-68a95f54446b",
            
95
      "name": "XOR constraints",
136
      "name": "XOR constraints",
            
96
      "state": "active",
137
      "state": "active",
            
97
      "vocabulary_id": null
138
      "vocabulary_id": null
            
98
    }
139
    }
            
99
  ],
140
  ],
            
100
  "title": "Reducing SAT to Max2XOR",
141
  "title": "Reducing SAT to Max2XOR",
            
101
  "type": "dataset",
142
  "type": "dataset",
            
102
  "version": ""
143
  "version": ""
            
103
}
144
}