Introduction to Propositional Satisfiability - Paperback
4.5 (1,234)
Sold 100+ last 30 days
20% off first order
$38.16
Color
Black
Quantity
Product description loading
Product description loading
This is the product description text that will appear here.
Quantity
1
Description
Report copyright infringement by Victor Marek (Author) Propositional logic allows for description and then solving of a significant class of constraint satisfaction problems, namely those that require that the domains of variables are finite....