Algebraic Techniques for Satisfiability Problems

Techniques

von Henning Schnoor

Taschenbuch

ISBN: 978-3-86727-176-9

ISBN-10: 3-86727-176-3

Cuvillier Verlag · 2007