A SAT Approach to Clique-Width (Q2946763): Difference between revisions

← Older edit Newer edit →

@@ description / en / description / en @@
+scientific article; zbMATH DE number 6195205
@@ 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 / 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 / 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 @@
+C70
@@ Property / Mathematics Subject Classification ID: 05C70 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6195205
@@ Property / zbMATH DE Number: 6195205 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2220220931
@@ Property / OpenAlex ID: W2220220931 / rank @@
+Normal rank