Optimization of Boolean satisfiability solver by caching intermediate results

Proceedings of the Institute for System Programming of RAS ◽

10.15514/ispras-2012-22-16 ◽

2012 ◽

Vol 22 ◽

pp. 281-292

Author(s):

Sergey Vartanov ◽

Denis Sidorov

Keyword(s):

Boolean Satisfiability ◽

Intermediate Results ◽

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

Accelerating Numerical Simulation of Continuous-Time Boolean Satisfiability Solver Using Discrete Gradient

Communications in Nonlinear Science and Numerical Simulation ◽

10.1016/j.cnsns.2021.105908 ◽

2021 ◽

pp. 105908

Author(s):

Hiroshi Yamashita ◽

Kazuyuki Aihara ◽

Hideyuki Suzuki

Keyword(s):

Numerical Simulation ◽

Continuous Time ◽

Boolean Satisfiability ◽

Discrete Gradient ◽

Satisfiability Solver

Download Full-text

Efficient conflict driven learning in a Boolean satisfiability solver

IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281) ◽

10.1109/iccad.2001.968634 ◽

2002 ◽

Author(s):

Lintao Zhang ◽

C.F. Madigan ◽

M.H. Moskewicz ◽

S. Malik

Keyword(s):

Boolean Satisfiability ◽

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.1145/774572.774637 ◽

2002 ◽

Author(s):

Lintao Zhang ◽

Sharad Malik

Keyword(s):

Boolean Satisfiability ◽

Satisfiability Solver

Download Full-text

The impact of analog computational error on an analog boolean satisfiability solver

2016 IEEE International Symposium on Circuits and Systems (ISCAS) ◽

10.1109/iscas.2016.7539101 ◽

2016 ◽

Author(s):

David A. Basford ◽

Jared M. Smith ◽

R. Joseph Connor ◽

Bruce J. MacLennan ◽

Jeremy Holleman

Keyword(s):

Boolean Satisfiability ◽

Computational Error ◽

Satisfiability Solver

Download Full-text

Timescales of Boolean satisfiability solver using continuous-time dynamical system

Communications in Nonlinear Science and Numerical Simulation ◽

10.1016/j.cnsns.2020.105183 ◽

2020 ◽

Vol 84 ◽

pp. 105183 ◽

Author(s):

Hiroshi Yamashita ◽

Kazuyuki Aihara ◽

Hideyuki Suzuki

Keyword(s):

Dynamical System ◽

Continuous Time ◽

Boolean Satisfiability ◽

Satisfiability Solver

Download Full-text

Type-Aware Web Service Composition Using Boolean Satisfiability Solver

2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services ◽

10.1109/cecandeee.2008.108 ◽

2008 ◽

Author(s):

Wonhong Nam ◽

Hyunyoung Kil ◽

Dongwon Lee

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Boolean Satisfiability ◽

Satisfiability Solver

Download Full-text

Autotuning a Random Walk Boolean Satisfiability Solver

Procedia Computer Science ◽

10.1016/j.procs.2011.04.238 ◽

2011 ◽

Vol 4 ◽

pp. 2176-2185 ◽

Author(s):

Tao Cui ◽

Franz Franchetti

Keyword(s):

Random Walk ◽

Boolean Satisfiability ◽

Satisfiability Solver

Download Full-text

Abciximab in Carotid Stenting for Postsurgical Carotid Restenosis: Intermediate Results

Journal of Endovascular Therapy ◽

10.1583/1545-1550(2000)007<0263:aicsfp>2.3.co;2 ◽

2000 ◽

Vol 7 (4) ◽

pp. 263-272 ◽

Author(s):

Jacob Schneiderman ◽

Benyamina Morag ◽

Alexander Gerniak ◽

Uri Rimon ◽

David Varon ◽

...

Keyword(s):

Carotid Stenting ◽

Intermediate Results

Download Full-text

A SERVICE FOR SOLVING BOOLEAN SATISFIABILITY PROBLEM USING NVIDIA CUDA TECHNOLOGY

Modern technologies System analysis Modeling ◽

10.26731/1813-9108.2017.4(56).107-114 ◽

2017 ◽

Vol 4 (56) ◽

pp. 107-114

Author(s):

A. D. Kolosov ◽

◽

V. O. Gorovoy ◽

V. V. Kondratiev ◽

◽

...

Keyword(s):

Boolean Satisfiability ◽

Satisfiability Problem ◽

Boolean Satisfiability Problem ◽

Nvidia Cuda ◽

Cuda Technology

Download Full-text