Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Marijn J. H. Heule

Everything You Always Wanted to Know About Blocked Sets (But Were Afraid to Ask)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Unified Proof System for QBF Preprocessing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Efficient Extraction of Skolem Functions From QRAT Proofs

2014English

Related publications

Expository Research Papers

SIAM Review
Computational MathematicsApplied MathematicsTheoretical Computer Science
2011English

On-Demand Generation and Characterization of a Microwave Time-Bin Qubit

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2020English

Hierarchical Quantum Classifiers

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2018English

Survey and Review

SIAM Review
Computational MathematicsApplied MathematicsTheoretical Computer Science
2012English

Direct Observation of Broadband Nonclassical States in a Room-Temperature Light–matter Interface

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2018English

Learning Hard Quantum Distributions With Variational Autoencoders

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2018English

Observation of Topological Uhlmann Phases With Superconducting Qubits

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2018English

An Efficient Evolutionary Algorithm for Chance-Constrained Bi-Objective Stochastic Optimization

IEEE Transactions on Evolutionary Computation
Theoretical Computer ScienceComputational TheorySoftwareMathematics
2013English

Engineering the Quantum-Classical Interface of Solid-State Qubits

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2015English

Quantum Annealing Versus Classical Machine Learning Applied to a Simplified Computational Biology Problem

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy