BOOK-CHAPTER
A satisfiability tester for non-clausal propositional calculus
Year: 2006 Lecture notes in computer science Pages: 101-112 Publisher: Springer Science+Business Media
Keywords:
Satisfiability Propositional variable Propositional formula Calculus (dental) Propositional calculus Well-formed formula Programming language Computer science Mathematics Discrete mathematics Medicine
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
0
Refs
0.41
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Bayesian Modeling and Causal Inference
Physical Sciences → Computer Science → Artificial Intelligence
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
BOOK-CHAPTER
A Satisfiability Tester for Non-Clausal Propositional Calculus
Lecture notes in computer science Year: 1984 Pages: 101-112
JOURNAL ARTICLE
A satisfiability tester for non-clausal propositional calculus
Journal: Information and Computation Year: 1988 Vol: 79 (1)Pages: 1-21
JOURNAL ARTICLE
Extension Rule for Non-Clausal Propositional Calculus
Journal: Fundamenta Informaticae Year: 1997 Vol: 31 (2)Pages: 107-116
BOOK-CHAPTER
A Tableau Calculus for Non-clausal Maximum Satisfiability
Chu Min LiFelip ManyàJoan Ramon Soler
Lecture notes in computer science Year: 2019 Pages: 58-73
BOOK-CHAPTER
Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning
Lecture notes in computer science Year: 2008 Pages: 257-270