BOOK-CHAPTER
A Satisfiability Solving Approach
Keywords:
Satisfiability Boolean satisfiability problem Conjunctive normal form Maximum satisfiability problem Computer science DPLL algorithm Constraint programming True quantified Boolean formula Scheduling (production processes) Theoretical computer science Boolean function Mathematics Mathematical optimization Algorithm
Metrics
7
Cited By
2.67
FWCI (Field Weighted Citation Impact)
44
Refs
0.89
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Resource-Constrained Project Scheduling
Social Sciences → Decision Sciences → Management Science and Operations Research
Synthetic Organic Chemistry Methods
Physical Sciences → Chemistry → Organic Chemistry
Constraint Satisfaction and Optimization
Physical Sciences → Computer Science → Computer Networks and Communications
Related Documents
BOOK-CHAPTER
A new approach on solving 3-satisfiability
Lecture notes in computer science Year: 1996 Pages: 197-212
JOURNAL ARTICLE
SOLVING INCREMENTAL SATISFIABILITY
Journal: International Journal of Artificial Intelligence Tools Year: 2007 Vol: 16 (01)Pages: 139-147
JOURNAL ARTICLE
RTL Satisfiability Solving Using an ATPG based Approach
Minchuan ChenWei‐Min WuJinian Bian
Year: 2006 Vol: 2 Pages: 910-913
JOURNAL ARTICLE
Variational satisfiability solving
Jeffrey M. YoungEric WalkingshawThomas Thüm
Year: 2020 Pages: 1-12
JOURNAL ARTICLE
Solving the satisfiability problem by using randomized approach
Journal: Information Processing Letters Year: 1992 Vol: 41 (4)Pages: 187-190