![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Simplifying Smoktunowicz's Extraordinary Example
Communications in Algebra, Vol. 41, Iss. 11, 2013-11 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
On simplifying truth-functional formulas
The Journal of Symbolic Logic, Vol. 21, Iss. 3, 1956-09 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
On simplifying the matrix of a wff
The Journal of Symbolic Logic, Vol. 33, Iss. 2, 1968-07 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
The problem of simplifying logical expressions
The Journal of Symbolic Logic, Vol. 24, Iss. 1, 1959-03 ,pp. :