Llistar TÃtols
S'ha trobat un Ãtem:
| Format | Data | TÃtol | Autor | 
|---|---|---|---|
| Format | Data | TÃtol | Autor | 
| 
									 | 
		3 setembre 2024 | Computing small Rainbow Cycle Numbers with SAT modulo Symmetries | Kirchweger, Markus ; Szeider, Stefan | 
S'ha trobat un Ãtem:
| Format | Data | TÃtol | Autor | 
|---|---|---|---|
| Format | Data | TÃtol | Autor | 
| 
									 | 
		3 setembre 2024 | Computing small Rainbow Cycle Numbers with SAT modulo Symmetries | Kirchweger, Markus ; Szeider, Stefan | 

Programació per restriccions (Informà tica) -- Congressos Constraint programming (Computer science) -- Congresses

Kirchweger, Markus Szeider, Stefan Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica