1 – 100 of 16610
- show: 100
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Att ha ledartröjan på sig : Centrala innehåll över tid i retoriska drag i Ministern har ordet
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Regret and Conservatism of Constrained Stochastic Model Predictive Control
2024)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Angle estimation using mmWave RSS measurements with enhanced multipath information
2024) 2024 IEEE Wireless Communications and Networking Conference(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Comparing Chemical Reaction Mechanisms for Jet Fuel Combustion in Simulations of a Turbulent Premixed Bluff-Body Burner
2024) AIAA SCITECH 2024(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Coping with darkness : Residents' experience of reduced outdoor lighting in neighbourhoods
2024) 9th Light Symposium 2023: Architecture Lighting Environments - Space With(Out) Light, LS 2023 In IOP Conference Series: Earth and Environmental Science 1320.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
GCC-PHAT Re-Imagined - A U-Net Filter for Audio TDOA Peak-Selection
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
People's conceptual environmental appraisals of urban space in daylight and electric light
2024) 9th Light Symposium 2023: Architecture Lighting Environments - Space With(Out) Light, LS 2023 1320.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Utan sax och klister – inga journalister? : Textsamspel i nyhetsartiklar om kriserna i Svenska Akademien 1989 och 2018 och TT-nyheter 1982–2020
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Pain Relieving Light - (How) Is it Possible?
2024) 9th Light Symposium 2023: Architecture Lighting Environments - Space With(Out) Light, LS 2023 In IOP Conference Series: Earth and Environmental Science 1320.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
End-to-End Verification for Subgraph Solving
2024) 38th AAAI Conference on Artificial Intelligence, AAAI 2024 In Proceedings of the AAAI Conference on Artificial Intelligence 38. p.8038-8047(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Platsens och tillhörighetens betydelse för Sverigedemokratiska supportrar i sociala medier
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Revisiting the construct and assessment of industrial relevance in software engineering research within
2024) International Workshop on Methodological Issues with Empirical Studies in Software Engineering, WSESE 2024 In ICSE Workshops(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Investigation of Combustion Characteristics of a Fuel Blend Consisting of Methanol and Ignition Improver, Compared to Diesel Fuel and Pure Methanol
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Integrating large language models for improved failure mode and effects analysis (FMEA) : a framework and case study
2024) 18th International Design Conference, DESIGN 2024 In Proceedings of the Design Society 4. p.2019-2028(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Roof-Glass Integrated Antenna for Vehicular GNSS Applications
2024) 18th European Conference on Antennas and Propagation, EuCAP 2024(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
MEASUREMENTS OF THE REACTION CROSS SECTIONS OF NEUTRON-RICH Sn ISOTOPES AT THE R3B SETUP
2024) XXXVII Mazurian Lakes Conference on Physics Probing Fundamental Properties of Matter with Rare Isotopes In Acta Physica Polonica B, Proceedings Supplement 17.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
RELATIVISTIC COULOMB EXCITATION OF 124Sn
2024) XXXVII Mazurian Lakes Conference on Physics Probing Fundamental Properties of Matter with Rare Isotopes In Acta Physica Polonica B, Proceedings Supplement 17.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Nationalekonomin i kristider
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Key Performance Index for Creating an Integrated and Sustainable Academy - A University with the Ability to Meet Future Needs and Challenges Identified in Society and Industry
2024) 11th Swedish Production Symposium, SPS2024 In Advances in Transdisciplinary Engineering 52. p.643-659(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Concept from Sensor to Sustainability in Machining - An Interdisciplinary Approach over a Wide TRL Range
2024) 11th Swedish Production Symposium, SPS2024 In Advances in Transdisciplinary Engineering 52. p.148-170(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Strategies for Effective Chip Management in Machining of Ductile Cast Iron
2024) 11th Swedish Production Symposium, SPS2024 In Advances in Transdisciplinary Engineering 52. p.50-61(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Shedding new light on the Hubble constant tension through Supernovae Ia
2024) 14th Frascati Workshops on Multifrequency Behaviour of High Energy Cosmic Sources, MULTIF 2023 447.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Kolon: Ett interpersonellt skiljetecken
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Jaw complex : openness, prominence, and dynamics
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
LidarCLIP or : How i Learned to Talk to Point Clouds
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Public private partnerships for the empowerment of women in business? A critical communication perspective
2024)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Impact of transit catchment size on the integration of shared e-scooters in the public transport system
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Embedded Tutorial: Access to On-chip Instruments via Functional Ports
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Ord- och satsmelodi i sydsvenska : Likheter och skillnader i jämförelse med östnorska, västsvenska och centralsvenska
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Advancing Software Monitoring: An Industry Survey on ML-Driven Alert Management Strategies
2024) 50th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2024(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Experimental Investigation of Pilot Injection Strategies to Aid Low Load Compression Ignition of Neat Methanol
2024) 2024 SAE World Congress Experience, WCX 2024(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Design and evaluation of non-planar material extrusion on A3-axis printer
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Large-Eddy Simulation of Supersonic Combustion in a Mach 2 Cavity-Based Model Scramjet Combustor
2024) AIAA SciTech Forum and Exposition, 2024(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Enabling Data-sharing in Logistics through Open Data Ecosystems – A Literature Review
2024) 2024 Ongoing Research, Practitioners, Posters, Workshops, and Projects of the International Conference EGOV-CeDEM-ePart, EGOV-CeDEM-ePart-Ongoing 2024 In CEUR Workshop Proceedings 3737.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Teaching and Learning of Calculus
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Frequency information and reduction in second-language perception of multi-word sequences
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Effects of word order and embedded clause boundary on intonation in Tokyo Japanese
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards National Connected Digital Twins - A Geospatial Perspective
2024) 19th 3D GeoInfo Conference 2024 In ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences X-4-W5. p.147-154(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Design strategies to reduce personal protective equipment noncompliance
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Geometry-Biased Transformer for Robust Multi-View 3D Human Pose Reconstruction
2024) 18th IEEE International Conference on Automatic Face and Gesture Recognition, FG 2024(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Tight Security of TNT and Beyond : Attacks, Proofs and Possibilities for the Cascaded LRW Paradigm
2024) 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14651 LNCS. p.249-279(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
2024) 41st International Conference on Machine Learning, ICML 2024 In Proceedings of Machine Learning Research 235. p.2846-2856(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Realization of MIMO-SLSs from Markov Parameters via Forward/Backward Corrections
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
MIMO-SLS Identification from Input-Output Data
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Large-Eddy Simulations of Thermal Ribbed Duct Flows
2024)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
An Empirically Grounded Path Forward for Scenario-Based Testing of Autonomous Driving Systems
2024) 32nd ACM International Conference on the Foundations of Software Engineering, FSE Companion In FSE Companion - Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering p.232-243(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Characterisation of fire smoke emissions from fire retardant wood
2024) 4th European Symposium on Fire Safety Science – ESFSS 2024(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards a service life extension of the Øresund Fixed Link
2024) 12th International Conference on Bridge Maintenance, Safety and Management, IABMAS 2024 In Bridge Maintenance, Safety, Management, Digitalization and Sustainability - Proceedings of the 12th International Conference on Bridge Maintenance, Safety and Management, IABMAS 2024 p.3133-3141(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The use of protective hearing devices and perceived noise disturbance and social climate in open office environments
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Self-reported noise sensitivity and perceived enjoyment of working in an open office environment
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Three-Dimensional Large-Eddy Simulation of Non-Premixed H2-Air Annular Rotating Detonation Combustor
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Collision Avoidance for ASVs in Archipelagos—A COLREGs-Aware Optimization-Based Method
2024) p.1132-1139(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fire Performance of Impregnated Wood Subjected to Natural Aging in the Swedish Climate
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Gribshunden in perspective: : a castle on the sea
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Enhancing Inclusive Crisis Planning: Insights from a Disability-Inclusive Scenario Workshop
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Generating Executable Test Scenarios from Autonomous Vehicle Disengagements using Natural Language Processing
2024) p.98-104(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Developing ultrasound optical tomography for deep tissue imaging of the breast
2024) 17th International Workshop on Breast Imaging, IWBI 2024 In Proceedings of SPIE - The International Society for Optical Engineering 13174.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Breast cancer diagnosis using extended-wavelength diffuse reflectance spectroscopy : comparing tumor subgroups
2024) 17th International Workshop on Breast Imaging, IWBI 2024 In Proceedings of SPIE - The International Society for Optical Engineering 13174.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fast Parallelizable Misuse-Resistant Authenticated Encryption : Low Latency (Decryption-Fast) SIV
2024) Selected Areas in Cryptography 2024(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using simulated breast lesions based on Perlin noise for evaluation of lesion segmentation
2024) Medical Imaging 2024: Physics of Medical Imaging In Progress in Biomedical Optics and Imaging - Proceedings of SPIE 12925.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Causal discovery in a complex industrial system : A time series benchmark
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Impact of Positioning Uncertainty on Autonomous Intersection Management System
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Experimentation in Early-Stage Video Game Startups : Practices and Challenges
2024) 14th International Conference on Software Business, ICSOB 2023 In Lecture Notes in Business Information Processing 500 LNBIP. p.360-366(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The anomalous Lagrangian in ChPT at NNLO
2024) 2023 European Physical Society Conference on High Energy Physics, EPS-HEP 2023 In Proceedings of Science 449.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Quantum Chromodynamics in the Early Universe : The Color Glass Condensate
2024) 18th International Conference on Topics in Astroparticle and Underground Physics, TAUP 2023 In Proceedings of Science 441.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Resilient Cloud Control System: Dynamic Frequency Adaptation via Q-learning
2024) 27th Conference on Innovation in Clouds, Internet and Networks, ICIN(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Virtual, Augmented, and Mixed Reality for Human-Robot Interaction (VAM-HRI)
2024) 19th Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2024 In ACM/IEEE International Conference on Human-Robot Interaction p.1361-1363(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Developers’ Perspective on Today’s and Tomorrow’s Programming Tool Assistance: A Survey
2024)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Writing Group : A Community of Practice and Collegiality
2024) p.109-118(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Linear-quadratic level control for flotation through reinforcement learning
2024) The 12th IFAC Symposium on Advanced Control of Chemical Processes(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exploring the time axis within medium-modified jets
2024) 11th International Conference on Hard and Elecctromagnetic Probes of High-Energy Nuclear Collisions, HardProbes 2023 438.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
From Lenses to Living Rooms : A Policy Brief on Eye Tracking in XR Before the Impending Boom
2024) 6th IEEE International Conference on Artificial Intelligence and eXtended and Virtual Reality, AIxVR 2024 In Proceedings - 2024 IEEE International Conference on Artificial Intelligence and eXtended and Virtual Reality, AIxVR 2024 p.90-96(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Digital exclusion of migrant women induced by emerging technologies: a review of current studies and research agenda
2024)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
NNLO Positivity Bounds on χPT for a General Number of Flavours
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Short-distance constraints in hadronic-light-by-light for the muon g − 2
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Three-pion scattering in Chiral Perturbation Theory
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Conflict Simulation for Shared Autonomy in Autonomous Driving
2024) 19th Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2024 In ACM/IEEE International Conference on Human-Robot Interaction p.882-887(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Artificial intelligence and its ‘slow violence’ to human rights
2024) CPDP 2024: Computer, Privacy and Data Protection Conference(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Clog : A Declarative Language for C Static Code Checkers
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
VR-based Assistance System for Semi-Autonomous Robotic Boats
2024) 19th Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2024 In ACM/IEEE International Conference on Human-Robot Interaction p.877-881(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Sparse Spatial Shading in Augmented Reality
2024) 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications 1. p.293-299(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exploring the influence of patient variability on propofol target-controlled infusion performance
2024) 22nd European Control Conference, ECC 2024(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Distributed Adaptive Control for Uncertain Networks
2024)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Corrosion Rates by Immersion and Calorimetry on the Example of Extruded Mg10Gd(1Nd)1La
2024) Magnesium Technology Symposium held at the TMS Annual Meeting and Exhibition, 2024 In Minerals, Metals and Materials Series p.35-39(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Agentic Relationship Dynamics in Human-AI Collaboration: A study of interactions with GPT-based agentic IS artifacts
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Is there Really an Effect of Time Delays on Perceived Fluency and Social attributes between Humans and Social Robots? A Pilot Study
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Heavy quark diffusion coefficient during hydrodynamization - non-equilibrium vs. equilibrium
2024) 11th International Conference on Hard and Elecctromagnetic Probes of High-Energy Nuclear Collisions, HardProbes 2023 In Proceedings of Science 438.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Impact of Building Geometry, Window Types, and Materials on Daylighting Performance of Livestock Buildings
2024) 15th International Congress on Agricultural Mechanization and Energy in Agriculture, ANKAgEng 2023 In Lecture Notes in Civil Engineering 458 LNCE. p.262-274(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Understanding the Influence of Different Sample Sizes and Sample Techniques on Accuracy Assessment of Land Cover Mapping : Case Study of Salatiga city, Indonesia
2024) 8th Geoinformation Science Symposium 2023: Geoinformation Science for Sustainable Planet In Proceedings of SPIE - The International Society for Optical Engineering 12977.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Protecting the Environment with Shield and Sword: Need for Coordinated Interaction Between Human Rights Law and International Criminal Law
2024) p.251-262(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Different Analytical Methods to Determine the Influence of Pitting on the Residual Performance of Mg Alloys as Implant Materials
2024) Magnesium Technology Symposium held at the TMS Annual Meeting and Exhibition, 2024 In Minerals, Metals and Materials Series p.3-5(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Collectio: a software especially designed for creating dynamic libraries for fluid and multilingual text traditions
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Simple End-to-End Computer-Aided Detection Pipeline for Trained Deep Learning Models
2024) 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14390 LNCS. p.259-262(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
“Synnaos theos ? Expressions linguistiques de la cohabitation cultuelle entre des figures humaines du pouvoir et des dieux immortels”
2024)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Manufacturing the Divinity of Rulers in Hellenistic and Roman Delos
2024) In Mnemosyne Supplements(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Conceptual Framework and Recommendations for Open Data and Artifacts in Empirical Software Engineering
2024) International Workshop on Methodological Issues with Empirical Studies in Software Engineering, WSESE 2024 In ICSE Workshops(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Scalable Intelligent Traffic Balancing: Advancing Efficiency, Safety, and Sustainability in Urban Transportation Through Machine Learning and AIM Integration
2024) 2023 IEEE Global Conference on Artificial Intelligence and Internet of Things, GCAIoT(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using AquaCrop for Irrigation and water productivity assessment of Table grapes in arid region of Mexico
2024) 4th International GIRE3D Congress on Participatory and Integrated Management of Water Resources in Arid Zones, GIRE3D 2023 489.(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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