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

From MaRDI portal
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(6 intermediate revisions by 5 users not shown)
description / endescription / en
scientific article
scientific article; zbMATH DE number 6195205
Property / zbMATH Open document ID
 
Property / zbMATH Open document ID: 1390.68501 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/978-3-642-39071-5_24 / rank
 
Normal rank
Property / published in
 
Property / published in: Theory and Applications of Satisfiability Testing – SAT 2013 / rank
 
Normal rank
Property / publication date
 
5 August 2013
Timestamp+2013-08-05T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
Property / publication date: 5 August 2013 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68R10 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 05C35 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 05C70 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6195205 / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Lingeling / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1906408003 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2220220931 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1304.5498 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear Rank-Width and Linear Clique-Width of Trees / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5503674 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Boolean-width of graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Polynomial-time recognition of clique-width \(\leq 3\) graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Relationship Between Clique-Width and Treewidth / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4037313 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handle-rewriting hypergraph grammars / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear time solvable optimization problems on graphs of bounded clique-width / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Upper bounds to the clique width of graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constrained-path labellings on graphs of bounded clique-width / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4507228 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory and Applications of Satisfiability Testing / rank
 
Normal rank
Property / cites work
 
Property / cites work: Clique-Width is NP-Complete / rank
 
Normal rank
Property / cites work
 
Property / cites work: Principles and Practice of Constraint Programming – CP 2004 / rank
 
Normal rank
Property / cites work
 
Property / cites work: ON THE CLIQUE-WIDTH OF SOME PERFECT GRAPH CLASSES / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the relationship between NLC-width and linear NLC-width / rank
 
Normal rank
Property / cites work
 
Property / cites work: A survey of the algorithmic aspects of modular decomposition / rank
 
Normal rank
Property / cites work
 
Property / cites work: Graphs of linear clique-width at most 3 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Characterising the linear clique-width of a class of graphs by forbidden induced subgraphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computing the Clique-Width of Large Path Powers in Linear Time via a New Characterisation of Clique-Width / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finding Good Decompositions for Dynamic Programming on Dense Graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Conflict Anticipation in the Search for Graph Automorphisms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Empirical Study of the Anatomy of Modern Sat Solvers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2816028 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rank-width of random graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: The relative clique-width of a graph / rank
 
Normal rank
Property / cites work
 
Property / cites work: Approximating clique-width and branch-width / rank
 
Normal rank
Property / cites work
 
Property / cites work: Graph-Theoretic Concepts in Computer Science / rank
 
Normal rank
Property / cites work
 
Property / cites work: Encoding Treewidth into SAT / rank
 
Normal rank
Property / cites work
 
Property / cites work: Towards an Optimal CNF Encoding of Boolean Cardinality Constraints / rank
 
Normal rank
Property / cites work
 
Property / cites work: A combinatorial optimization algorithm for solving the branchwidth problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compiling finite linear CSP into SAT / rank
 
Normal rank
Property / cites work
 
Property / cites work: New plain-exponential time classes for graph homomorphism / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4473043 / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(k\)-NLC graphs and polynomial algorithms / rank
 
Normal rank

Latest revision as of 18:31, 10 July 2024

scientific article; zbMATH DE number 6195205
Language Label Description Also known as
English
A SAT Approach to Clique-Width
scientific article; zbMATH DE number 6195205

    Statements

    A SAT Approach to Clique-Width (English)
    0 references
    0 references
    0 references
    17 September 2015
    0 references
    5 August 2013
    0 references
    clique-width
    0 references
    SAT encoding
    0 references
    SAT solver
    0 references
    cardinality constraint
    0 references
    \(k\)-expression
    0 references
    linear clique-width
    0 references
    satisfiability
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references