Satisfiability Checking with Difference Constraints

Brian O'Connor author

Format:Paperback

Publisher:VDM Verlag

Published:10th Jun '10

Currently unavailable, and unfortunately no date known when it will be back

Satisfiability Checking with Difference Constraints cover

This paperback, "Satisfiability Checking with Difference Constraints" from Brian O'Connor, was published 10th June 2010 by VDM Verlag.

ISBN: 9783639147384

Dimensions: 229mm x 152mm x 5mm

Weight: 127g

80 pages