Alexander Nadel

Available identifiers

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	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	2021-12-09	Paper
Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT	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	2015-10-20	Paper
Ultimately Incremental SAT	2014-09-26	Paper
Efficient Generation of Small Interpolants in CNF	2013-11-26	Paper
Efficient SAT Solving under Assumptions	2013-08-12	Paper
Preprocessing in Incremental SAT	2013-08-12	Paper
Generating Diverse Solutions in SAT	2011-06-17	Paper
Assignment Stack Shrinking	2010-09-29	Paper
A Scalable Algorithm for Minimal Unsatisfiable Core Extraction	2007-09-04	Paper
Hardware and Software, Verification and Testing	2007-02-12	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper

This page was built for person: Alexander Nadel