Mark H. Liffiton

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 8

Top Topics

Language Modelling

Document Length

Language Models For Information Retrieval

Unsatisfiable Cores

Top Venues

Constraints An Int. J.

Publications

Brad Sheese, Mark H. Liffiton, Jaromír Savelka, Paul Denny
Patterns of Student Help-Seeking When Using a Large Language Model-Powered Programming Assistant. ACE (2024)
Brad Sheese, Mark H. Liffiton, Jaromír Savelka, Paul Denny
Patterns of Student Help-Seeking When Using a Large Language Model-Powered Programming Assistant. CoRR (2023)
Mark H. Liffiton, Brad Sheese, Jaromír Savelka, Paul Denny
CodeHelp: Using Large Language Models with Guardrails for Scalable Support in Programming Classes. CoRR (2023)
Jaromír Savelka, Paul Denny, Mark H. Liffiton, Brad Sheese
Efficient Classification of Student Help Requests in Programming Courses Using Large Language Models. CoRR (2023)
Mark H. Liffiton, Brad E. Sheese, Jaromír Savelka, Paul Denny
CodeHelp: Using Large Language Models with Guardrails for Scalable Support in Programming Classes. Koli Calling (2023)
Wenting Zhao, Mark H. Liffiton, Peter Jeavons, Dan Roberts
Finding Graph Decompositions via SAT. ICTAI (2017)
Mark H. Liffiton, Alessandro Previti, Ammar Malik, João Marques-Silva
Fast, flexible MUS enumeration. Constraints An Int. J. 21 (2) (2016)
Wenting Zhao, Mark H. Liffiton
Parallelizing Partial MUS Enumeration. ICTAI (2016)
Alexey Ignatiev, Alessandro Previti, Mark H. Liffiton, João Marques-Silva
Smallest MUS Extraction with Minimal Hitting Set Dualization. CP (2015)
Bernard Blackham, Mark H. Liffiton, Gernot Heiser
Trickle: Automated infeasible path detection using all minimal unsatisfiable subsets. RTAS (2014)
Mark H. Liffiton, Ammar Malik
Enumerating Infeasibility: Finding Multiple MUSes Quickly. CPAIOR (2013)
António Morgado, Federico Heras, Mark H. Liffiton, Jordi Planes, João Marques-Silva
Iterative and core-guided MaxSAT solving: A survey and assessment. Constraints An Int. J. 18 (4) (2013)
Mark H. Liffiton, Jordyn C. Maglalang
A Cardinality Solver: More Expressive Constraints for Free - (Poster Presentation). SAT (2012)
António Morgado, Mark H. Liffiton, João Marques-Silva
MaxSAT-Based MCS Enumeration. Haifa Verification Conference (2012)
Mark H. Liffiton, Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João Marques-Silva, Karem A. Sakallah
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas. Constraints An Int. J. 14 (4) (2009)
Mark H. Liffiton, Karem A. Sakallah
Generalizing Core-Guided Max-SAT. SAT (2009)
Mark H. Liffiton, Karem A. Sakallah
Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints. J. Autom. Reason. 40 (1) (2008)
Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah
Reveal: A Formal Verification Tool for Verilog Designs. LPAR (2008)
Mark H. Liffiton, Karem A. Sakallah
Searching for Autarkies to Trim Unsatisfiable Clause Sets. SAT (2008)
Sean Safarpour, Hratch Mangassarian, Andreas G. Veneris, Mark H. Liffiton, Karem A. Sakallah
Improved Design Debugging Using Maximum Satisfiability. FMCAD (2007)
Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah
Refinement strategies for verification methods based on datapath abstraction. ASP-DAC (2006)
Mark H. Liffiton, Michael D. Moffitt, Martha E. Pollack, Karem A. Sakallah
Identifying Conflicts in Overconstrained Temporal Problems. IJCAI (2005)
Mark H. Liffiton, Karem A. Sakallah
On Finding All Minimally Unsatisfiable Subformulas. SAT (2005)
Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah, Igor L. Markov
Exploiting structure in symmetry detection for CNF. DAC (2004)