Uwe Egly
AuthID: R-00H-A4A
1
TÃTULO: Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
AUTORES: Carsten Sinz; Uwe Egly;
PUBLICAÇÃO: 2014, FONTE: SAT, VOLUME: 8561
AUTORES: Carsten Sinz; Uwe Egly;
PUBLICAÇÃO: 2014, FONTE: SAT, VOLUME: 8561
INDEXADO EM: 
DBLP
DBLP