## A SAT-based Method for Solving the Two-dimensional Strip Packing Problem

- Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
- Fundam. Inform.
- 2010

Highly Influenced

@article{Dharbe2003LightweightTP, title={Light-weight theorem proving for debugging and verifying units of code}, author={David D{\'e}harbe and Silvio Ranise}, journal={First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings.}, year={2003}, pages={220-228} }

- Published 2003 in First International Conference onSoftware…
DOI:10.1109/SEFM.2003.1236224

Software bugs are very difficult to detect even in small units of code. Several techniques to debug or prove correct such units are based on the generation of a set of formulae whose unsatisfiability reveals the presence of an error. These techniques assume the availability of a theorem prover capable of automatically discharging the resulting proof obligations. Building such a tool is a difficult, long, and error-prone activity. In this paper, we describe techniques to build provers which are… CONTINUE READING

Highly Cited

This paper has 73 citations. REVIEW CITATIONS

Citations per Year

Semantic Scholar estimates that this publication has **73** citations based on the available data.

See our **FAQ** for additional information.