דילוג לניווט ראשי
דילוג לחיפוש
דילוג לתוכן הראשי
האוניברסיטה הפתוחה בית
עזרה ושאלות נפוצות
English
עברית
العربية
בית
פרופילים
יחידות מחקר
פרסומים מחקריים
פרסים
פעילויות
חיפוש לפי מומחיות, שם או שיוך
The ROBDD size of simple CNF formulas
Michael Langberg, Amir Pnueli, Yoav Rodeh
פרסום מחקרי
:
פרק בספר / בדוח / בכנס
›
פרק
›
ביקורת עמיתים
סקירה כללית
טביעת אצבע
טביעת אצבע
להלן מוצגים תחומי המחקר של הפרסום 'The ROBDD size of simple CNF formulas'. יחד הם יוצרים טביעת אצבע ייחודית.
מיון לפי
משקל
לפי סדר האלפבית
Keyphrases
CNF Formulas
100%
Reduced Ordered Binary Decision Diagram (ROBDD)
100%
Boolean Functions
28%
Monotone
14%
Computer-aided Design
14%
Dynamic Data Structures
14%
2CNF
14%
Diagram Representation
14%
Common Dynamics
14%
Checkers
14%
SAT Solver
14%
Degenerate Case
14%
Verification Model
14%
Mathematics
Binary Decision
100%
Boolean Function
28%
Lower and upper bounds
14%
Data Structure
14%
Aided Design
14%
Random Case
14%