The following pages link to Bart Bogaerts (Q892231):
Displaying 5 items.
- Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests (Q6151565) (← links)
- Certified dominance and symmetry breaking for combinatorial optimisation (Q6488808) (← links)
- Expressiveness of SHACL features (Q6491025) (← links)
- Expressiveness of SHACL features (Q6492721) (← links)
- Certified Core-Guided MaxSAT Solving (Q6492726) (← links)