Title: Constraints in computational logics
Subjects: Logic programming, Constraint programming (Computer science), Logic design, Symbolic and mathematical Logic, Computer science, Artificial intelligence, Constraint programming (computer science)