On Some SAT-Variants over Linear Formulas
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Linear CNF formulas and satisfiability
Discrete Applied Mathematics
Complexity results for linear XSAT-Problems
SAT'10 Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
XSAT and NAE-SAT of linear CNF classes
Discrete Applied Mathematics
Hi-index | 0.05 |