{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T03:16:11Z","timestamp":1774926971067,"version":"3.50.1"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/afrcon.2013.6757599","type":"proceedings-article","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T17:15:04Z","timestamp":1394212504000},"page":"1-5","source":"Crossref","is-referenced-by-count":2,"title":["A SAT-based approach to solve the faculty course scheduling problem"],"prefix":"10.1109","author":[{"given":"Fadi","family":"Aloul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Imad","family":"Zabalawi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed","family":"Wasfy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2007.1075"},{"key":"17","first-page":"1481","article-title":"A new clause learning scheme for efficient unsatisfiability proofs","author":"pipatsrisawat","year":"2008","journal-title":"International Conference on Artificial Intelligence"},{"key":"22","first-page":"502","article-title":"An extensible SAT-solver","author":"een","year":"2003","journal-title":"Conference on Theory and Application of Satisfiability Testing"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998262"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"14","doi-asserted-by":"crossref","first-page":"506","DOI":"10.1109\/12.769433","article-title":"GRASP: A search algorithm for propositional satisfiability","volume":"48","author":"marques-silva","year":"1999","journal-title":"IEEE Trans on Computers"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/s10479-009-0675-4"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2013.2254234"},{"key":"21","doi-asserted-by":"crossref","first-page":"165","DOI":"10.3233\/SAT190020","article-title":"Pueblo: A hybrid pseudo-boolean SAT solver","volume":"2","author":"sheini","year":"2006","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/SCIS.2007.367688"},{"key":"20","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/SAT190023","article-title":"On using cutting planes in pseudo-boolean optimization","volume":"2","author":"manquinho","year":"2006","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/PICMET.2001.951799"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICAICT.2009.5372524"},{"key":"1","article-title":"Solving the university class scheduling problem using advanced ILP techniques","author":"wasfy","year":"2007","journal-title":"IEEE GCC Conference"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1155\/2011\/365107"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20050164"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126611007980"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/CCECE.2004.1345198"},{"key":"9","first-page":"102","article-title":"Applications of SAT solver to cryptanalysis of hash functions","author":"mironov","year":"2006","journal-title":"Proc Int'l Conf Theory and Applications of Satisfiability Testing (SAT)"},{"key":"8","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1007\/s10009-008-0087-9","article-title":"Automated verification of access control policies using a SAT solver","volume":"10","author":"hughes","year":"2008","journal-title":"Int'l Journal on Software Tools for Technology Transfer (STTT)"}],"event":{"name":"AFRICON 2013","location":"Pointe-Aux-Piments, Mauritius","start":{"date-parts":[[2013,9,9]]},"end":{"date-parts":[[2013,9,12]]}},"container-title":["2013 Africon"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6746871\/6757586\/06757599.pdf?arnumber=6757599","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,15]],"date-time":"2020-08-15T23:51:07Z","timestamp":1597535467000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6757599\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/afrcon.2013.6757599","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}