Uwe Egly
AuthID: R-00H-A4A
1
TITLE: 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
AUTHORS: Carsten Sinz; Uwe Egly;
PUBLISHED: 2014, SOURCE: SAT, VOLUME: 8561
AUTHORS: Carsten Sinz; Uwe Egly;
PUBLISHED: 2014, SOURCE: SAT, VOLUME: 8561
INDEXED IN: 
DBLP
DBLP