691 – 700 of 3656
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
Mark
Watched Propagation of$$0$$ -$$1$$ Integer Linear Constraints
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 12333 LNCS. p.160-176(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using Resolution Proofs to Analyse CDCL Solvers
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.427-444(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.917-934(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying Solvers for Clique and Maximum Common (Connected) Subgraph Problems
2020) 26th International Conference on Principles and Practice of Constraint Programming, CP 2020 In Lecture Notes in Computer Science 12333. p.338-357(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Light Signalling Approach to Node Grouping for Massive MIMO IoT Networks
2020) In IEEE Transactions on Communications(
- Contribution to journal › Article
-
Mark
5G Radio Access Network Slicing in Massive MIMO Systems for Industrial Applications
2020) The Seventh International Conference on Software Defined Systems (SDS-2020)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Behavioural responses to co-occurring threats of predation and ultraviolet radiation in Daphnia
(
- Contribution to journal › Article
-
Mark
How software engineering research aligns with design science : a review
(
- Contribution to journal › Article
-
Mark
On the Optimal Control of Relaxation Systems
2020) 58th IEEE Conference on Decision and Control, CDC 2019 In Proceedings of the IEEE Conference on Decision and Control 2019-December. p.6068-6073(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Convex Approach to Frisch-Kalman Problem
2020) 58th IEEE Conference on Decision and Control, CDC 2019 In Proceedings of the IEEE Conference on Decision and Control 2019-December. p.7154-7158(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding