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

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, 201...

DE-634
DE-M347
DE-92
DE-859
DE-861
DE-91
DE-384
DE-473
DE-703
DE-20
DE-706
DE-29
DE-739
Volltext
Inhaltsverzeichnis
Abstract