11 – 20 of 456
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
Mark
Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning
2023) 29th International Conference on Principles and Practice of Constraint Programming, CP 2023(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Scalable Actor Networks with CAL
2023) p.169-179(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
2023) 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023 p.98-103(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified Dominance and Symmetry Breaking for Combinatorial Optimisation
(
- Contribution to journal › Article
- 2022
-
Mark
Towards Fully Dynamic Surface Illumination in Real-Time Rendering using Acceleration Data Structures
(
- Thesis › Doctoral thesis (compilation)
-
Mark
Real-Time Rendering of Indirectly Visible Caustics
2022) 17th International Conference on Computer Graphics Theory and Applications, GRAPP 2022; Part of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2022 1. p.39-48(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified CNF Translations for Pseudo-Boolean Solving
2022) 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022) In Leibniz International Proceedings in Informatics (LIPIcs) 236.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning
2022)(
- Thesis › Doctoral thesis (compilation)
-
Mark
An Auditable Constraint Programming Solver
2022) 28th International Conference on Principles and Practice of Constraint Programming, CP 2022 In Leibniz International Proceedings in Informatics, LIPIcs 235.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
MeerKAT correlator-beamformer : a real-time processing back-end for astronomical observations
(
- Contribution to journal › Article