Item:Q5326473: Difference between revisions

@@ redirect / redirect @@
+Q2946763
@@ label / en / label / en @@
-A SAT Approach to Clique-Width
@@ description / en / description / en @@
-scientific article; zbMATH DE number 6195205
@@ Property / instance of @@
-scholarly article
@@ Property / instance of: scholarly article / rank @@
-Normal rank
@@ Property / title @@
-A SAT Approach to Clique-Width (English)
@@ Property / title: A SAT Approach to Clique-Width (English) / rank @@
-Normal rank
@@ Property / zbMATH Open document ID @@
-.68501
@@ Property / zbMATH Open document ID: 1390.68501 / rank @@
-Normal rank
@@ Property / DOI @@
-.1007/978-3-642-39071-5_24
@@ Property / DOI: 10.1007/978-3-642-39071-5_24 / rank @@
-Normal rank
@@ Property / author @@
-Marijn J. H. Heule
@@ Property / author: Marijn J. H. Heule / rank @@
-Normal rank
@@ Property / author @@
-Stefan Szeider
@@ Property / author: Stefan Szeider / rank @@
-Normal rank
@@ Property / published in @@
-Theory and Applications of Satisfiability Testing – SAT 2013
-Normal rank
@@ Property / publication date @@
-August 2013Timestamp +2013-08-05T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2013-08-05T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 5 August 2013 / rank @@
-Normal rank
@@ Property / full work available at URL @@
-https://arxiv.org/abs/1304.5498
@@ Property / full work available at URL: https://arxiv.org/abs/1304.5498 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-R10
@@ Property / Mathematics Subject Classification ID: 68R10 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-C35
@@ Property / Mathematics Subject Classification ID: 05C35 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-C69
@@ Property / Mathematics Subject Classification ID: 05C69 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-C70
@@ Property / Mathematics Subject Classification ID: 05C70 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-C85
@@ Property / Mathematics Subject Classification ID: 05C85 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
-T20
@@ Property / Mathematics Subject Classification ID: 68T20 / rank @@
-Normal rank
@@ Property / zbMATH DE Number @@
-6195205
@@ Property / zbMATH DE Number: 6195205 / rank @@
-Normal rank

Latest revision as of 09:09, 6 May 2024

Redirect to:

Item:Q2946763