You are invited to submit an instance to our LOGOPTIMIZATION server using the form below. You simply have to upload the input file that contains its definition. It is very important that you supply a plain ASCII file following the instructions given in the article "The Input Format" in another page of this section.

The result will be sent to the address you will supply in the form.

We are planning to collect all interesting instances that are submitted to the server. Moreover, we would like to set up a showcase of interesting real world problems that are approached with the help of logic optimization. To this end, we ask you to tell us as many details as possible about your instance and about the real-world application it comes from.

Of course you will receive the appropriate credit wherever the instance you supplied is mentioned in this web site. If, to the contrary, you prefer to remain anonymous or if the data you supply have to be kept confidential, please specify so in the description field of the form.

Unless specified otherwise in the description field of the form, by pressing the submit button below you grant We.Logoptimize.it the rights to use the instance and its associated description anywhere in this web site.

We.Logoptimize.it is in no case responsible for any use made of the results of the optimization process that you receive via e-mail upon the instance submission through the form below.