1![Proof-producing Congruence Closure Robert Nieuwenhuis? and Albert Oliveras?? Technical University of Catalonia, Jordi Girona 1, 08034 Barcelona, Spain www.lsi.upc.es/~roberto www.lsi.upc.es/~oliveras Abstract. Many appl Proof-producing Congruence Closure Robert Nieuwenhuis? and Albert Oliveras?? Technical University of Catalonia, Jordi Girona 1, 08034 Barcelona, Spain www.lsi.upc.es/~roberto www.lsi.upc.es/~oliveras Abstract. Many appl](https://www.pdfsearch.io/img/d663f12ed86c282548c1ca2432101733.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2005-02-02 07:20:48
|
---|
2![MiniMaxSat: a New Weighted Max-SAT Solver Federico Heras, Javier Larrosa, and Albert Oliveras Universitat Politecnica de Catalunya, Jordi Girona 1-3, 08034 Barcelona, Spain Abstract. In this paper we introduce M INI M A MiniMaxSat: a New Weighted Max-SAT Solver Federico Heras, Javier Larrosa, and Albert Oliveras Universitat Politecnica de Catalunya, Jordi Girona 1-3, 08034 Barcelona, Spain Abstract. In this paper we introduce M INI M A](https://www.pdfsearch.io/img/565bd003a3e7110f789dfcf114567756.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2007-03-01 08:21:24
|
---|
3![A Write-Based Solver for SAT Modulo the Theory of Arrays Miquel Bofill Universitat de Girona Robert Nieuwenhuis A Write-Based Solver for SAT Modulo the Theory of Arrays Miquel Bofill Universitat de Girona Robert Nieuwenhuis](https://www.pdfsearch.io/img/b20f28e6f52f2dea4223ed6b8189720d.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2008-07-14 06:59:10
|
---|
4![](/pdf-icon.png) | Add to Reading ListSource URL: www.girona.cat- Date: 2014-08-04 02:32:33
|
---|
5![](/pdf-icon.png) | Add to Reading ListSource URL: www.girona.cat- Date: 2014-08-04 02:33:49
|
---|
6![](/pdf-icon.png) | Add to Reading ListSource URL: www.girona.cat- Date: 2014-08-04 03:11:24
|
---|
7![](/pdf-icon.png) | Add to Reading ListSource URL: www.girona.cat- Date: 2018-08-14 03:44:14
|
---|
8![](/pdf-icon.png) | Add to Reading ListSource URL: www.girona.cat- Date: 2018-08-14 03:44:14
|
---|
9![](/pdf-icon.png) | Add to Reading ListSource URL: www.girona.cat- Date: 2014-08-04 02:35:23
|
---|
10![](/pdf-icon.png) | Add to Reading ListSource URL: www.girona.cat- Date: 2014-08-04 03:12:21
|
---|