Back to Results
First PageMeta Content
Logic in computer science / Formal methods / Philosophical logic / Metalogic / Formal verification / Theoretical computer science / First-order logic / Modal logic / Logic / Mathematical logic / P versus NP problem / Automated theorem proving


Abstracts Abstracts are listed in the order of presentation. Monday, 18 April Bin Packing: From Theory to Experiment and Back Again David S. Johnson
Add to Reading List

Document Date: 2011-04-13 17:03:53

Open Document

File Size: 86,70 KB

Share Result on Facebook