Polynomial algorithm of limited propositional deduction

DOI10.1007/BF02916751zbMath0938.03021OpenAlexW2089805461MaRDI QIDQ1962496

Lejian Liao, Zhongzhi Shi

Publication date: 13 March 2000

Published in: Science in China. Series E (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02916751

zbMATH Keywords

efficiencyconstraint satisfaction problempropositional satisfiabilityBoolean constraint propagation mechanismpolynomial algorithm of limited propositional deduction

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05)

Cites Work

• Network-based heuristics for constraint-satisfaction problems
• Consistency in networks of relations
• Unnamed Item