EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure

2007 44th ACM/IEEE Design Automation Conference ◽

10.1109/dac.2007.375232 ◽

2007 ◽

Author(s):

Shujun Deng ◽

Jinian Bian ◽

Weimin Wu ◽

Xiaoqing Yang ◽

Yanni Zhao

Keyword(s):

Satisfiability Solver ◽

Dpll Procedure

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 ◽

Cited By ~ 12

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 ◽

Cited By ~ 13

Author(s):

HoonSang Jin ◽

Mohammad Awedh ◽

Fabio Somenzi

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Satisfiability Solver

Download Full-text

Problem-Sensitive Restart Heuristics for the DPLL Procedure

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

10.1007/978-3-642-02777-2_33 ◽

2009 ◽

pp. 356-362 ◽

Cited By ~ 4

Author(s):

Carsten Sinz ◽

Markus Iser

Keyword(s):

Dpll Procedure

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 3

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

Extending Unit Propagation Look-Ahead of DPLL Procedure

PRICAI 2004: Trends in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-540-28633-2_20 ◽

2004 ◽

pp. 173-182 ◽

Cited By ~ 2

Author(s):

Anbulagan

Keyword(s):

Look Ahead ◽

Unit Propagation ◽

Dpll Procedure

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