Recognition of simple enlarged Horn formulas and simple extended Horn formulas

DOI10.1023/A:1021243928374zbMath1050.68046OpenAlexW1510897924MaRDI QIDQ1861905

Emmanuel Benoist, Jean-Jacques Hébrard

Publication date: 10 March 2003

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1021243928374

zbMATH Keywords

algorithmspropositional logicarborescence-realizationextended Horn formulas

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

This page was built for publication: Recognition of simple enlarged Horn formulas and simple extended Horn formulas