1-SAT

URI: https://gptkb.org/entity/1-SAT
GPTKB entity
Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:theoretical_computer_science
gptkbp:alsoKnownAs one-satisfiability
gptkbp:complexity P
gptkbp:decision true
gptkbp:format gptkb:conjunctive_normal_form
gptkbp:isSolvable linear time
gptkbp:numberOfLiteralsPerClause 1
gptkbp:relatedTo gptkb:2-SAT
gptkb:k-SAT
gptkbp:variant gptkb:Boolean_satisfiability_problem
gptkbp:bfsParent gptkb:2-SAT
gptkb:k-SAT
gptkbp:bfsLayer 7
https://www.w3.org/2000/01/rdf-schema#label 1-SAT