List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| AllSAT for combinational circuits | 2024-11-26 | Paper |
| Solving huge instances with Intel\(\circledR\) SAT solver | 2024-11-26 | Paper |
| \texttt{TT-Open-WBO-Inc}: an efficient anytime MaxSAT solver Journal of Satisfiability, Boolean Modeling and Computation | 2024-10-15 | Paper |
| Introducing Intel\(\circledR\) SAT solver | 2024-07-12 | Paper |
| A correct-by-decision solution for simultaneous place and route | 2022-08-12 | Paper |
| Accelerated deletion-based extraction of minimal unsatisfiable cores Journal on Satisfiability, Boolean Modeling and Computation | 2021-12-09 | Paper |
| Polarity and variable selection heuristics for SAT-based anytime MaxSAT Journal on Satisfiability, Boolean Modeling and Computation | 2021-12-01 | Paper |
| Local search with a SAT oracle for combinatorial optimization | 2021-10-18 | Paper |
| Solving MaxSAT with bit-vector optimization | 2018-08-10 | Paper |
| Chronological backtracking | 2018-08-10 | Paper |
| Efficient generation of small interpolants in CNF Formal Methods in System Design | 2015-10-20 | Paper |
| Ultimately incremental SAT Lecture Notes in Computer Science | 2014-09-26 | Paper |
| Efficient Generation of Small Interpolants in CNF Computer Aided Verification | 2013-11-26 | Paper |
| Efficient SAT solving under assumptions Theory and Applications of Satisfiability Testing – SAT 2012 | 2013-08-12 | Paper |
| Preprocessing in incremental SAT Theory and Applications of Satisfiability Testing – SAT 2012 | 2013-08-12 | Paper |
| Generating Diverse Solutions in SAT Theory and Applications of Satisfiability Testing - SAT 2011 | 2011-06-17 | Paper |
| Assignment stack shrinking Theory and Applications of Satisfiability Testing – SAT 2010 | 2010-09-29 | Paper |
| A Scalable Algorithm for Minimal Unsatisfiable Core Extraction Lecture Notes in Computer Science | 2007-09-04 | Paper |
| Hardware and Software, Verification and Testing Lecture Notes in Computer Science | 2007-02-12 | Paper |
| Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science | 2005-12-15 | Paper |
Research outcomes over time
This page was built for person: Alexander Nadel
