Marijn Heule
Orcid: 0000-0002-5587-8801Affiliations:
- Carnegie Mellon University, Pittsburgh, PA, USA
- University of Texas at Austin, USA (former)
According to our database1,
Marijn Heule
authored at least 157 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on github.com
-
on cs.cmu.edu
On csauthors.net:
Bibliography
2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024
Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane.
Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024
Proceedings of the 12th International Conference on Fun with Algorithms, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
2023
ACM Trans. Comput. Log., October, 2023
Dataset, October, 2023
Int. J. Softw. Tools Technol. Transf., April, 2023
Proceedings of the IEEE Working Conference on Software Visualization, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023
Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023
Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), 2023
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023
Proceedings of the 14th Innovations in Theoretical Computer Science Conference, 2023
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023
Proceedings of the Formal Methods in Computer-Aided Design, 2023
Proceedings of the Formal Methods in Computer-Aided Design, 2023
2022
Log. Methods Comput. Sci., 2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022
Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022
Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022
2021
Proceedings of the Handbook of Satisfiability - Second Edition, 2021
Proceedings of the Handbook of Satisfiability - Second Edition, 2021
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021
Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021
Proceedings of the Automated Deduction - CADE 28, 2021
2020
J. Autom. Reason., 2020
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Theor. Comput. Sci., 2019
A family of schemes for multiplying 3 × 3 matrices with 23 coefficient multiplications.
ACM Commun. Comput. Algebra, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
Proceedings of the Principles and Practice of Constraint Programming, 2019
Proceedings of the Automated Technology for Verification and Analysis, 2019
2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018
2017
CoRR, 2017
Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version).
CoRR, 2017
Proceedings of the Tests and Proofs - 11th International Conference, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Hardware and Software: Verification and Testing, 2017
Proceedings of the GCAI 2017, 2017
Proceedings of the ARCADE 2017, 2017
Proceedings of the Automated Deduction - CADE 26, 2017
Proceedings of the ARCADE 2017, 2017
Proceedings of the Automated Deduction - CADE 26, 2017
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2016
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016
2015
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
Proceedings of the Automated Deduction - CADE-25, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Bridging the gap between easy generation and efficient verification of unsatisfiability proofs.
Softw. Test. Verification Reliab., 2014
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014
Proceedings of the POS-14. Fifth Pragmatics of SAT workshop, 2014
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014
Proceedings of the Formal Methods in Computer-Aided Design, 2014
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014
2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013
Proceedings of the Automated Deduction - CADE-24, 2013
2012
Proceedings of the Software Language Engineering, 5th International Conference, 2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Proceedings of the Hardware and Software: Verification and Testing, 2012
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012
2011
<i>Introduction to Mathematics of Satisfiability</i>, Victor W. Marek, Chapman & Hall/CRC, 2009. Hardback, ISBN-13: 978-143980167-3, $89.95.
Theory Pract. Log. Program., 2011
J. Satisf. Boolean Model. Comput., 2011
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011
Proceedings of the Hardware and Software: Verification and Testing, 2011
2010
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010
Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the Grammatical Inference: Theoretical Results and Applications, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Proceedings of the Theory and Applications of Satisfiability Testing, 2009
2008
J. Satisf. Boolean Model. Comput., 2008
J. Satisf. Boolean Model. Comput., 2008
Discret. Appl. Math., 2008
2007
Sci. Comput. Program., 2007
Electron. J. Comb., 2007
Proceedings of the Virtual Systems and Multimedia, 13th International Conference, 2007
Proceedings of the Theory and Applications of Satisfiability Testing, 2007
Proceedings of the Theory and Applications of Satisfiability Testing, 2007
2006
J. Satisf. Boolean Model. Comput., 2006
2005
Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming.
Proceedings of the Theory and Applications of Satisfiability Testing, 2005
2004
Proceedings of the Theory and Applications of Satisfiability Testing, 2004