Treffer 1 - 20 von 76 für Suche 'FICHTE, JOHANNES K.', Suchdauer: 0,84s Treffer weiter einschränken
  1. 1
    Exploiting Database Management Systems and Treewidth for Counting

    Exploiting Database Management Systems and Treewidth for Counting von FICHTE, JOHANNES K., HECHER, MARKUS, THIER, PATRICK, WOLTRAN, STEFAN


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    DynASP2.5: Dynamic Programming on Tree Decompositions in Action

    DynASP2.5: Dynamic Programming on Tree Decompositions in Action von Fichte, Johannes K., Hecher, Markus, Morak, Michael, Woltran, Stefan

    Veröffentlicht in Algorithms

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Solving Projected Model Counting by Utilizing Treewidth and its Limits

    Solving Projected Model Counting by Utilizing Treewidth and its Limits von Fichte, Johannes K., Hecher, Markus, Morak, Michael, Thier, Patrick, Woltran, Stefan

    Veröffentlicht in Artificial intelligence

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    The Model Counting Competition 2020

    The Model Counting Competition 2020 von Fichte, Johannes K., Hecher, Markus, Hamiti, Florim


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    IASCAR: Incremental Answer Set Counting by Anytime Refinement

    IASCAR: Incremental Answer Set Counting by Anytime Refinement von FICHTE, JOHANNES K., GAGGL, SARAH ALICE, HECHER, MARKUS, RUSOVAC, DOMINIK


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    An SMT Approach to Fractional Hypertree Width

    An SMT Approach to Fractional Hypertree Width von Fichte, Johannes K., Hecher, Markus, Lodha, Neha, Szeider, Stefan


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    A multiparametric view on answer set programming

    A multiparametric view on answer set programming von Fichte, Johannes K., Kronegger, Martin, Woltran, Stefan


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Inconsistency Proofs for ASP: The ASP - DRUPE Format

    Inconsistency Proofs for ASP: The ASP - DRUPE Format von ALVIANO, MARIO, DODARO, CARMINE, FICHTE, JOHANNES K., HECHER, MARKUS, PHILIPP, TOBIAS, RATH, JAKOB


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Backdoors to Normality for Disjunctive Logic Programs

    Backdoors to Normality for Disjunctive Logic Programs von Fichte, Johannes K., Szeider, Stefan


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Dual-normal logic programs – the forgotten class

    Dual-normal logic programs – the forgotten class von FICHTE, JOHANNES K., TRUSZCZYŃSKI, MIROSŁAW, WOLTRAN, STEFAN


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Counting Complexity for Reasoning in Abstract Argumentation

    Counting Complexity for Reasoning in Abstract Argumentation von Fichte, Johannes K., Hecher, Markus, Meier, Arne


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Default logic and bounded treewidth

    Default logic and bounded treewidth von Fichte, Johannes K., Hecher, Markus, Schindler, Irina

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Strong Backdoors for Default Logic

    Strong Backdoors for Default Logic von Fichte, Johannes Klaus, Meier, Arne, Schindler, Irena


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Treewidth and Counting Projected Answer Sets

    Treewidth and Counting Projected Answer Sets von Fichte, Johannes K., Hecher, Markus


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    A Time Leap Challenge for SAT-Solving

    A Time Leap Challenge for SAT-Solving von Fichte, Johannes K., Hecher, Markus, Szeider, Stefan


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Proceedings 38th International Conference on Logic Programming: ApproxASP - A Scalable Approximate Answer Set Counter (Extended Abstract)

    Proceedings 38th International Conference on Logic Programming: ApproxASP - A Scalable Approximate Answer Set Counter (Extended Abstract) von Kabir, Mohimenul, Everardo, Flavio, Shukla, Ankit, Fichte, Johannes K., Hecher, Markus, Meel, Kuldeep S.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    An Improved GPU-Based SAT Model Counter

    An Improved GPU-Based SAT Model Counter von Fichte, Johannes K., Hecher, Markus, Zisser, Markus


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Answer Set Solving with Bounded Treewidth Revisited

    Answer Set Solving with Bounded Treewidth Revisited von Fichte, Johannes K., Hecher, Markus, Morak, Michael, Woltran, Stefan


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Strong Backdoors for Default Logic

    Strong Backdoors for Default Logic von Fichte, Johannes K., Meier, Arne, Schindler, Irina


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Exploiting Database Management Systems and Treewidth for Counting

    Exploiting Database Management Systems and Treewidth for Counting von Fichte, Johannes K., Hecher, Markus, Thier, Patrick, Woltran, Stefan


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: