{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T15:45:33Z","timestamp":1730303133356,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/vlsid.2007.16","type":"proceedings-article","created":{"date-parts":[[2007,2,28]],"date-time":"2007-02-28T22:25:13Z","timestamp":1172701513000},"page":"95-102","source":"Crossref","is-referenced-by-count":0,"title":["A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis"],"prefix":"10.1109","author":[{"given":"Sayak","family":"Ray","sequence":"first","affiliation":[]},{"given":"Pallab","family":"Dasgupta","sequence":"additional","affiliation":[]},{"given":"P.","family":"Chakrabarti","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","article-title":"PBS: A Backtrack Search Pseudo-Boolean Solver","author":"aloul","year":"2002","journal-title":"Theory and Applications of Satisfiability Testing (SAT)"},{"journal-title":"Boolean and Pseudo-Boolean Models for Scheduling","year":"0","author":"prestwich","key":"ref3"},{"year":"0","key":"ref10"},{"key":"ref6","first-page":"61","article-title":"A Hybrid Pseudo-Boolean SAT Solver Journal on Satisfiability, Boolean Modeling and Computation (JSAT)","volume":"2","author":"sheini","year":"2006","journal-title":"Special Issue on SAT 2005 competition and evaluations"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.246"},{"key":"ref8","first-page":"830","article-title":"A fast PB constraint solver","author":"chai","year":"2003","journal-title":"Design Automation Conference"},{"key":"ref7","first-page":"635","article-title":"Inference methods for a PB satisfiability solver","author":"dixon","year":"2002","journal-title":"National Conference on Artificial Intelligence"},{"key":"ref2","article-title":"Mode Selection and Mode-Dependency Modeling for Power-Aware Embedded Systems","author":"li","year":"2002","journal-title":"Proc 15th Int Conf VLSI Design"},{"key":"ref9","first-page":"27","article-title":"Model Checking","author":"clarke","year":"0"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2005.90"}],"event":{"name":"20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07)","start":{"date-parts":[[2007,1,6]]},"location":"Bangalore, India","end":{"date-parts":[[2007,1,10]]}},"container-title":["20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4091978\/4091979\/04092029.pdf?arnumber=4092029","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T23:25:41Z","timestamp":1489620341000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4092029\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/vlsid.2007.16","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}