Building a consensus: A rectangle covering problem

DOI10.1017/S0956796810000316zbMath1220.68043OpenAlexW1976945158MaRDI QIDQ3021417

Richard S. Bird

Publication date: 25 July 2011

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796810000316

zbMATH Keywords

Schäfer-de Moor algorithm

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Functional programming and lambda calculus (68N18)

Cites Work

• On Cores and Prime Implicants of Truth Functions

This page was built for publication: Building a consensus: A rectangle covering problem