159 citations · 646 across the 48 of their papers we have counts for
4 papers · 1 filter
Power Term Polynomial Algebra for Boolean Logic
Emanuele Sansone, Armando Solar-Lezama
We introduce power term polynomial algebra, a representation language for Boolean formulae designed to bridge conjunctive normal form (CNF) and algebraic normal form (ANF). The lan…
Delta-Decision Procedures for Exists-Forall Problems over the Reals
Soonho Kong, Armando Solar-Lezama, Sicun Gao
Solving nonlinear SMT problems over real numbers has wide applications in robotics and AI. While significant progress is made in solving quantifier-free SMT formulas in the domain,…
Proceedings Second Workshop on Synthesis
Bernd Finkbeiner, Armando Solar-Lezama
Software synthesis is rapidly developing into an important research area with vast potential for practical application. The SYNT Workshop on Synthesis aims to bringing together res…
(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints
Vijay Ganesh, Mia Minnes, Armando Solar-Lezama +1
We prove several decidability and undecidability results for the satisfiability and validity problems for languages that can express solutions to word equations with length constra…