scientific article; zbMATH DE number 2065279

zbMATH Open1103.68567MaRDI QIDQ4459906FDOQ4459906

Gárbor Kusper

Publication date: 18 May 2004

Title of this publication is not available (Why is that?)

zbMATH Keywords

Unicorn-SAT algorithm

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Cited In (3)

• Solving QSAT in sublinear depth
• Title not available (Why is that?)
• Solving the resolution-free SAT problem by submodel propagation in linear time

   Recommendations

• Solving the resolution-free SAT problem by submodel propagation in linear time 👍 👎
• Polynomially solvable satisfiability problems 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)