An efficient algorithm for 3NF determination
From MaRDI portal
Recommendations
- An efficient algorithm for the 3-satisfiability problem
- An improved generator for 3-CNF formulas
- scientific article; zbMATH DE number 5613969
- scientific article; zbMATH DE number 515744
- Guided Search and a Faster Deterministic Algorithm for 3-SAT
- An efficient fixed-parameter algorithm for 3-hitting set
- A numerical approach to 3-SAT
- Algorithms for \((n,3)\)-MAXSAT and parameterization above the all-true assignment
- An algorithm for reducibility of 3-arrangements
- Improved polynomial algorithm for 3-SAT
Cites work
Cited in
(3)
This page was built for publication: An efficient algorithm for 3NF determination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q558039)