15 results on '"Peter Nightingale"'
Search Results
2. Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints.
3. Towards a Model of Puzznic.
4. Challenges in Modelling and Solving Plotting with PDDL.
5. A Framework for Generating Informative Benchmark Instances.
6. Savile Row Manual.
7. Automatic Tabulation in Constraint Models.
8. Towards Reformulating Essence Specifications for Robustness.
9. SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints.
10. A Review of Literature on Parallel Constraint Solving.
11. Essence' Description.
12. Generalized Support and Formal Development of Constraint Propagators.
13. Short and Long Supports for Constraint Propagation.
14. Qualitative Modelling via Constraint Programming: Past, Present and Future
15. Machine learning for constraint solver design -- A case study for the alldifferent constraint
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.