Q5111876 (Q5111876): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Anytime answer set optimization via unsatisfiable core shrinking / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Impact of Treewidth on Grounding and Solving of Answer Set Programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5111890 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the computational cost of disjunctive logic programming: Propositional case / rank
 
Normal rank
Property / cites work
 
Property / cites work: DynASP2.5: Dynamic Programming on Tree Decompositions in Action / rank
 
Normal rank
Property / cites work
 
Property / cites work: Answer set solving with bounded treewidth revisited / rank
 
Normal rank
Property / cites work
 
Property / cites work: Conflict-driven answer set solving: from theory to practice / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fixed-parameter complexity in AI and nonmonotonic reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Courcelle's theorem -- a game-theoretic approach / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extending and implementing the stable model semantics / rank
 
Normal rank

Revision as of 19:36, 22 July 2024

scientific article; zbMATH DE number 7205201
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7205201

    Statements

    Identifiers

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