Faculty of Engineering, LTH
501 – 510 of 66849
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Certifying MIP-Based Presolve Reductions for 0–1 Integer Linear Programs
2024) 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024 In Lecture Notes in Computer Science 14742. p.310-328(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified MaxSAT Preprocessing
2024) 12th International Joint Conference, IJCAR 2024 In Lecture Notes in Computer Science 14739. p.396-418(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
N-Doping Donor-Dilute Semitransparent Organic Solar Cells to Weaken Donor : Acceptor Miscibility and Consolidate Donor-Phase Continuity
(
- Contribution to journal › Article
-
Mark
Probiotic-Reduced Inflammaging in Older Adults : A Randomized, Double-Blind, Placebo-Controlled Trial
2024) In Probiotics and Antimicrobial Proteins(
- Contribution to journal › Article
-
Mark
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
2024) 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 In Leibniz International Proceedings in Informatics (LIPIcs) 307.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
2024) 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 In Leibniz International Proceedings in Informatics (LIPIcs) 307.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Epilogue
2024) p.306-309(
- Chapter in Book/Report/Conference proceeding › Foreword/Postscript
-
Mark
Embedded eigenvalues for asymptotically periodic ODE systems
(
- Contribution to journal › Article
-
Mark
The role of the customer order decoupling point in operations and supply chain management
2024)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Effects of a Paleolithic diet compared to a diabetes diet on leptin binding inhibition in secondary analysis of a randomised cross-over study
(
- Contribution to journal › Article