nadia creignou
Theory and Applications of Satisfiability Testing - SAT 2016
Print on DemandThis book constitutes the refereed proceedings of the 19th International Conference on Theory and...
Complexity of Constraints
Print on DemandNowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of comput...
- 1