Sciweavers

ALGORITHMICA   2016
Wall of Fame | Most Viewed ALGORITHMICA-2016 Paper
ALGORITHMICA
2016
8 years 7 months ago
Backdoors to q-Horn
The class q-Horn, introduced by Boros, Crama and Hammer in 1990, is one of the largest known classes of propositional CNF formulas for which satisfiability can be decided in poly...
Serge Gaspers, Sebastian Ordyniak, M. S. Ramanujan...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source102
2Download preprint from source80
3Download preprint from source75
4Download preprint from source73
5Download preprint from source66
6Download preprint from source59
7Download preprint from source58
8Download preprint from source58
9Download preprint from source56
10Download preprint from source53
11Download preprint from source53
12Download preprint from source53
13Download preprint from source52
14Download preprint from source50
15Download preprint from source49