{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:08:21Z","timestamp":1729660101759,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/tai.2003.1250174","type":"proceedings-article","created":{"date-parts":[[2004,3,1]],"date-time":"2004-03-01T21:26:50Z","timestamp":1078176410000},"page":"84-93","source":"Crossref","is-referenced-by-count":2,"title":["MFSAT: a SAT solver using multi-flip local search"],"prefix":"10.1109","author":[{"given":"A.D.","family":"Mali","sequence":"first","affiliation":[]},{"given":"Y.","family":"Lipen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"84","article-title":"Plan merging and plan reuse as satisfiability","author":"dattatraya mali","year":"1999","journal-title":"Proceedings of European Conference on Planning (ECP)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1111\/0824-7935.00195"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAI.2002.1180805"},{"key":"ref13","first-page":"325","article-title":"Enhancing HTN planning as satisfiability","author":"dattatraya mali","year":"2000","journal-title":"Proceedings of International conference on Artificial Intelligence and Soft Computing (ASC)"},{"key":"ref14","first-page":"557","article-title":"On the Utility of Plan-space (Causal) encodings","author":"dattatraya mali","year":"1999","journal-title":"Proceedings of the National Conference on Artificial Intelligence (AAAI)"},{"key":"ref4","first-page":"1194","article-title":"Pushing the envelope: Planning, Propositional logic and Stochastic search","author":"kautz","year":"1996","journal-title":"Proc Nat'l Conf Artificial Intelligence (AAAI)"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1090\/dimacs\/035\/13","article-title":"A branch and cut algorithm for MAX-SAT and weighted MAX-SAT","volume":"35","author":"steve","year":"1997","journal-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90007-K"},{"key":"ref5","first-page":"526","article-title":"State-space planning by integer optimization","author":"kautz","year":"1999","journal-title":"Proc Nat'l Conf Artificial Intelligence (AAAI)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46135-3_15"},{"key":"ref7","first-page":"297","article-title":"Local search characteristics of incomplete SAT procedures","author":"schuurmans","year":"2000","journal-title":"Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/9781118033036"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"1108","DOI":"10.1109\/21.247892","article-title":"Local search for satisfiability (SAT) problem","volume":"23","author":"jun","year":"1993","journal-title":"IEEE Transactions on Systems Man and Cybernetics"},{"key":"ref9","first-page":"122","article-title":"Hierarchical task network planning as satisfiability","author":"dattatraya mali","year":"1999","journal-title":"Proceedings of European Conference on Planning (ECP)"}],"event":{"name":"15th IEEE International Conference on Tools with Artificial Intelligence","acronym":"TAI-03","location":"Sacramento, CA, USA"},"container-title":["Proceedings. 15th IEEE International Conference on Tools with Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8840\/27974\/01250174.pdf?arnumber=1250174","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,21]],"date-time":"2018-04-21T10:26:01Z","timestamp":1524306361000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1250174\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/tai.2003.1250174","relation":{},"subject":[]}}