Digital bio-inspired satisfiability solver leveraging fluctuations

Japanese Journal of Applied Physics ◽

10.35848/1347-4065/ab7ade ◽

2020 ◽

Vol 59 (4) ◽

pp. 040603 ◽

Author(s):

Yuko Hara-Azumi ◽

Naoki Takeuchi ◽

Kazuaki Hara ◽

Masashi Aono

Keyword(s):

Satisfiability Solver

Download Full-text

CirCUs: A Hybrid Satisfiability Solver

Theory and Applications of Satisfiability Testing - Lecture Notes in Computer Science ◽

10.1007/11527695_17 ◽

2005 ◽

pp. 211-223 ◽

Author(s):

HoonSang Jin ◽

Fabio Somenzi

Keyword(s):

Satisfiability Solver

Download Full-text

CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27813-9_50 ◽

2004 ◽

pp. 519-522 ◽

Author(s):

HoonSang Jin ◽

Mohammad Awedh ◽

Fabio Somenzi

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Satisfiability Solver

Download Full-text

A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design

Lecture Notes in Computer Science - Principles and Practice of Constraint Programming - CP 2002 ◽

10.1007/3-540-46135-3_71 ◽

2002 ◽

pp. 775-776

Author(s):

Linda van Norden ◽

Hans van Maaren

Keyword(s):

Linear Programming ◽

Search Tree ◽

Satisfiability Solver

Download Full-text

Conflict driven learning in a quantified Boolean satisfiability solver

IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002. ◽

10.1109/iccad.2002.1167570 ◽

2003 ◽

Author(s):

Lintao Zhang ◽

S. Malik

Keyword(s):

Boolean Satisfiability ◽

Satisfiability Solver

Download Full-text

RTSAT: A Hybrid Satisfiability Solver for RTL Circuits

2006 International Conference on Communications, Circuits and Systems ◽

10.1109/icccas.2006.285167 ◽

2006 ◽

Author(s):

Shujun Deng ◽

Weimin Wu ◽

Jinian Bian

Keyword(s):

Satisfiability Solver

Download Full-text

Combining Preorder and Postorder Resolution in a Satisfiability Solver

Electronic Notes in Discrete Mathematics ◽

10.1016/s1571-0653(04)00317-8 ◽

2001 ◽

Vol 9 ◽

pp. 115-128 ◽

Author(s):

Allen Van Gelder

Keyword(s):

Satisfiability Solver

Download Full-text

CAMA: a multi-valued satisfiability solver

ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486) ◽

10.1109/iccad.2003.159707 ◽

2003 ◽

Author(s):

Cong Liu ◽

A. Kuehlmann ◽

M.W. Moskewicz

Keyword(s):

Satisfiability Solver

Download Full-text

Evolutionary many-objective satisfiability solver for configuring software product lines

Applied Intelligence ◽

10.1007/s10489-021-02918-x ◽

2022 ◽

Author(s):

Yimou Hou ◽

Dantong Ouyang ◽

Xinliang Tian ◽

Liming Zhang

Keyword(s):

Software Product Lines ◽

Product Lines ◽

Software Product ◽

Satisfiability Solver

Download Full-text

The Mechanical Verification of a DPLL-Based Satisfiability Solver

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2011.03.002 ◽

2011 ◽

Vol 269 ◽

pp. 3-17 ◽

Author(s):

Natarajan Shankar ◽

Marc Vaucher

Keyword(s):

Mechanical Verification ◽

Satisfiability Solver

Download Full-text

Logic programming with satisfiability

Theory and Practice of Logic Programming ◽

10.1017/s1471068407003146 ◽

2007 ◽

Vol 8 (01) ◽

pp. 121-128 ◽

Author(s):

MICHAEL CODISH ◽

VITALY LAGOON ◽

PETER J. STUCKEY

Keyword(s):

Logic Programming ◽

The Other ◽

Sat Solving ◽

Search Problems ◽

Prolog Program ◽

Programming Paradigm ◽

The One ◽

Satisfiability Solver

AbstractThis paper presents a Prolog interface to the MiniSat satisfiability solver. Logic programming with satisfiability combines the strengths of the two paradigms: logic programming for encoding search problems into satisfiability on the one hand and efficient SAT solving on the other. This synergy between these two exposes a programming paradigm that we propose here as a logic programming pearl. To illustrate logic programming with SAT solving, we give an example Prolog program that solves instances of Partial MAXSAT.

Download Full-text