Author： de Berg M. Bose P. Cheong O. Morin P.
Publisher： Elsevier
ISSN： 0925-7721
Source： Computational Geometry, Vol.27, Iss.1, 2004-01, pp. : 43-62
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Simplifying Smoktunowicz's Extraordinary Example
Communications in Algebra, Vol. 41, Iss. 11, 2013-11 ,pp. :
Access to resources
Recommend
On simplifying truth-functional formulas
The Journal of Symbolic Logic, Vol. 21, Iss. 3, 1956-09 ,pp. :
On simplifying the matrix of a wff
The Journal of Symbolic Logic, Vol. 33, Iss. 2, 1968-07 ,pp. :
The problem of simplifying logical expressions
The Journal of Symbolic Logic, Vol. 24, Iss. 1, 1959-03 ,pp. :