Alexander Nadel
From MaRDI portal
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
