An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2016/09/01
-
Indian UGC (journal)
-
Refrences33
-
Li Chen
-
Jing-Zheng Wu
-
Yin-Run Lv
-
Yong-Ji Wang
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
You May Also Like
- Data clustering
- Anomaly detection
- Machine learning in automated text categorization
- Extraction of Finger-Vein Patterns Using Maximum Curvature Points in Image Profiles
- A Communication Means for Totally Locked-in ALS Patients Based on Changes in Cerebral Blood Volume Measured with Near-Infrared Light
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Optimal task execution times for periodic tasks using nonlinear constrained optimization | The Journal of Supercomputing |
| 19 | 2012 |
Satisfiability modulo theories | Communications of the ACM |
| 174 | 2011 |
Solving SAT and SAT Modulo Theories | Journal of the ACM |
| 193 | 2006 |
| Real-Time System Design Based on Logic OR Constrained Optimization | Journal of Software | 3 | 2006 | |
| 10.1016/S0890-5401(03)00020-8 | Information and Computation |
| 2003 |