in_proceedings
Detail
Publication date: 1 de June, 2021Proceedings of the Second International Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT 2012)
Publisher | Universitat Politècnica de Catalunya |
---|---|
Pub. Date | 01/01/2012 |
Publisher | Universitat Politècnica de Catalunya |
---|---|
Pub. Date | 01/01/2012 |