scientific article; zbMATH DE number 640293

MaRDI QIDQ4306227zbMATH OpenFDO

Authors Tomoyuki Uchida, Takayoshi Shoudai, Satoru Miyano

Publication date 19 September 1994

zbMATH Keywords

formal graph systemrefutation tree problem

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10)

Recommendations

• scientific article; zbMATH DE number 140151
• scientific article; zbMATH DE number 3917707
• scientific article; zbMATH DE number 4081531
• Optimal length tree-like resolution refutations for 2SAT formulas

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 Q4306227)