Publications

Filter by type:

Auto-tabling for subproblem presolving in MiniZinc

Details PDF HTML

Sub-problem pre-solving in MiniZinc

Details PDF

Generating a Google Go framework from an Uppaal model

Details PDF