ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1110.6387
  4. Cited By
Backdoors to Satisfaction
v1v2 (latest)

Backdoors to Satisfaction

28 October 2011
Serge Gaspers
Stefan Szeider
ArXiv (abs)PDFHTML

Papers citing "Backdoors to Satisfaction"

11 / 11 papers shown
Title
Computational Short Cuts in Infinite Domain Constraint Satisfaction
Computational Short Cuts in Infinite Domain Constraint Satisfaction
Peter Jonsson
Victor Lagerkvist
S. Ordyniak
65
0
0
18 Nov 2022
The Complexity of Limited Belief Reasoning -- The Quantifier-Free Case
The Complexity of Limited Belief Reasoning -- The Quantifier-Free Case
Yijia Chen
Abdallah Saffidine
C. Schwering
LRM
113
2
0
08 May 2018
Backdoors into Heterogeneous Classes of SAT and CSP
Backdoors into Heterogeneous Classes of SAT and CSP
Serge Gaspers
Neeldhara Misra
S. Ordyniak
Stefan Szeider
Stanislav Živný
74
37
0
18 Sep 2015
SAT-based Analysis of Large Real-world Feature Models is Easy
SAT-based Analysis of Large Real-world Feature Models is Easy
J. Liang
Vijay Ganesh
Venkatesh Raman
Krzysztof Czarnecki
33
69
0
17 Jun 2015
Guarantees and Limits of Preprocessing in Constraint Satisfaction and
  Reasoning
Guarantees and Limits of Preprocessing in Constraint Satisfaction and Reasoning
Serge Gaspers
Stefan Szeider
60
15
0
12 Jun 2014
Backdoors to Abduction
Backdoors to Abduction
A. Pfandler
Stefan Rümmele
Stefan Szeider
65
32
0
22 Apr 2013
Backdoors to Normality for Disjunctive Logic Programs
Backdoors to Normality for Disjunctive Logic Programs
Johannes Fichte
Stefan Szeider
LRM
64
36
0
08 Jan 2013
Strong Backdoors to Bounded Treewidth SAT
Strong Backdoors to Bounded Treewidth SAT
Serge Gaspers
Stefan Szeider
87
33
0
27 Apr 2012
The Good, the Bad, and the Odd: Cycles in Answer-Set Programs
The Good, the Bad, and the Odd: Cycles in Answer-Set Programs
Johannes Fichte
87
7
0
15 Feb 2012
Augmenting Tractable Fragments of Abstract Argumentation
Augmenting Tractable Fragments of Abstract Argumentation
S. Ordyniak
Stefan Szeider
177
64
0
14 Apr 2011
Backdoors to Tractable Answer-Set Programming
Backdoors to Tractable Answer-Set Programming
Johannes Fichte
Stefan Szeider
135
56
0
14 Apr 2011
1