DUGi: Llistar Títols | dc.subject:"Pseudo-Boolean constraints"

Warning: error_log(/dades/dugi/log//querys.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32
DUGi: Llistar Títols | dc.subject:"Pseudo-Boolean constraints" | 0 -

Llistar Títols

No s'ha trobat cap ítem

Matèries

Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32

Satisfacibilidad módulo teorias 51 - Matemàtiques 004 - Informàtica Scheduling Restricciones pseudo-booleanas Satisfiability modulo theories Satisfactibilitat mòdul teories

Autors

Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32

Coll Caballero, Jordi Suy Franch, Josep Universitat de Girona. Departament d’Informàtica, Matemàtica Aplicada i Estadística (2013-) Villaret i Ausellé, Mateu

Warning: fopen(/dades/dugi/cache/7934977c1e598c3f19ede43a2833a869_.html) [function.fopen]: failed to open stream: Read-only file system in /dades/dugi/end_cache.php on line 2

DUGi

Portal de cerca conjunta als documents digitals de la UdG

Llistar Títols

Matèries

Autors