scientific article; zbMATH DE number 2065279

MaRDI QIDQ4459906zbMATH OpenFDO

Authors Gárbor Kusper

Publication date 18 May 2004

zbMATH Keywords

Unicorn-SAT algorithm

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Solving the resolution-free SAT problem by submodel propagation in linear time
• Polynomially solvable satisfiability problems
• scientific article; zbMATH DE number 956858
• scientific article; zbMATH DE number 5770428
• Solving SAT problems by orthogonal method

Cited in

(3)

• Solving the resolution-free SAT problem by submodel propagation in linear time
• Solving QSAT in sublinear depth
• scientific article; zbMATH DE number 5770428 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4459906)