Exploiting the real power of unit propagation lookahead-Reference-Cited by-同舟云学术

Exploiting the real power of unit propagation lookahead

Published:2001-06 Issue: Volume:9 Page:59-80
ISSN:1571-0653
Container-title:Electronic Notes in Discrete Mathematics
language:en
Short-container-title:Electronic Notes in Discrete Mathematics

Author:

Le Berre Daniel

Publisher

Elsevier BV

Subject

Applied Mathematics,Discrete Mathematics and Combinatorics

Reference30 articles.

1. O. Dubois, P. André, Y. Boufkhad, J. Carlier, SAT versus UNSAT, in: Johnson and Trick [28], pp. 415-436.

2. Improvements to prepositional satisfiability search algorithms, Ph.D. thesis, Departement of computer and Information science;Freema,1995

3. Heuristics based on unit propagation for satisfiability problems, in: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97);Li;Nagoya (JAPAN),1997

4. A constrained based approach to narrow search trees for satisfiability;Li;Information processing letters,1999

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Certified MaxSAT Preprocessing;Lecture Notes in Computer Science;2024

2. Binary Implication Hypergraphs for the Representation and Simplification of Propositional Formulae;Lecture Notes in Computer Science;2024

3. A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification;Logic-Based Program Synthesis and Transformation;2023

4. Reasoning with Propositional Logic: From SAT Solvers to Knowledge Compilation;A Guided Tour of Artificial Intelligence Research;2020

5. An Adaptive Parallel SAT Solver;Lecture Notes in Computer Science;2016