Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Competenze
IT
EN
☰
|
UNIFIND
uniss.it
IT
EN
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Competenze
☰
Pubblicazioni
CONSTRAINTS
Rivista
Codice:
E042349
ISSN:
1383-7133
Dati Generali
Dati Generali
Pubblicazioni (2)
A self-adaptive multi-engine solver for quantified Boolean formulas
Articolo
Translation-based approaches for solving disjunctive temporal problems with preferences
Articolo
No Results Found
