Pages that link to "Item:Q1579086"
From MaRDI portal
The following pages link to A comparative study of eight constraint programming languages over the Boolean and finite domains (Q1579086):
Displaying 6 items.
- On benchmarking constraint logic programming platforms. Response to Fernández and Hill's ``A comparative study of eight constraint programming languages over the Boolean and finite domains'' (Q704657) (← links)
- Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules (Q833735) (← links)
- Evaluating ASP and commercial solvers on the CSPLib (Q1020490) (← links)
- Towards a practical engineering tool for rostering (Q2468743) (← links)
- An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems (Q3638568) (← links)
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments (Q3648356) (← links)