Almost 2-SAT is fixed-parameter tractable
scientific article; zbMATH DE number 5629239
scientific article