(Q2030088)

English

DPLL algorithm

algorithm for solving the CNF-SAT problem

  • Davis-Putnam-Logemann-Loveland algorithm

Statements

1962
0 references
0 references
0 references
0 references
0 references
0 references
Davis-Putnam-Logemann-Loveland algorithm
0 references

Identifiers

 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit