Using More Reasoning to Improve #SAT Solving. Davies, J. & Bacchus, F. In Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-2007), pages 185-190, 2007.
![Using More Reasoning to Improve #SAT Solving [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @inproceedings{DBLP:conf/aaai/DaviesB07,
author = {Jessica Davies and Fahiem Bacchus},
title = {Using More Reasoning to Improve \#SAT Solving},
area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
url = {DBaaai07.pdf},
booktitle = {Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-2007)},
year = {2007},
pages = {185-190},
bibsource = {DBLP http://dblp.uni-trier.de}
}Downloads: 0
{"_id":{"_str":"53422b070e946d920a000030"},"__v":12,"authorIDs":["22KQm5TEbu2FFkzbQ","2DGh7xHJoYiokqD6y","44xCfXHn5H9ThD2cn","4ND2CiK82E9Pg8DGS","4T2KE2QjeCaQ6oauF","4meFhj9JHg4ewGMXq","5456ed818b01c81930000075","546f8b195ac8e5e30d000305","5acinWGz3jpzMwaTb","5d6wFksjvZgFbD7sj","5de6dd2fabd988de01000184","5de72bcd97054edf010000f8","5de771ed021482de01000037","5de85b4e8ff138de01000095","5de86a238ff138de0100014b","5dea3bc907a0c8df010000cd","5dec339cd39dc7de01000083","5ded239cb5af74df0100014f","5ded4a8fa49d79de0100009f","5ded6e46722536de010000ff","5deda3fc5c662cef010000d8","5dedab5c5c662cef01000144","5dee95bb0ceb4cdf01000037","5df123908fc423de0100009f","5df4c9e255b997de01000098","5df575c5b3c244de010000d0","5df78d175c8a36df0100012d","5df80390b9bb17df01000178","5df95afb12b4b5de01000018","5dfacc060488afde01000026","5dfaf2b0fa2bbbde010000cc","5dfb2102f85d64df01000055","5dfb7b13c2820bdf010000c2","5dfbc5904705b7de01000034","5dfbf8004d4fb9de0100019e","5dfeda0a5dd8e7df0100000b","5dff29587769f4de010000d3","5dffcab51ce6f1df01000103","5e02e634410ebcdf01000095","5e041b860fe3b7df010000be","5e0492e510c665de0100003e","5e05cbff459a30df0100007c","5e065a537da1d1de01000157","5e0815ec973979df01000017","5e0831d5f26b53de01000016","5e09dcd1503781de0100005d","5e0aba9227625ede0100003a","5e0bbffb94c532f3010000b0","5e0e4785d2eb5bdf010000c7","5e0e599aac7d11df01000072","5e10c6e90192c6df01000048","5e124df431427bdf01000028","5e1304b5b3bc8bde010000cd","5e14b498e55ed8de0100001d","5e14d5d7429a53df0100005f","5e1541e8edfb1ede01000036","5e155248edfb1ede0100014b","5e15ef3befa1cddf010000b7","5e166bb6505a61df010008ad","5e175143883585df010001ed","5e190b91a7672ede010000cb","5e1a25a39fbdddde010000ba","5e1dd4744986afdf01000055","5e1de63a4986afdf010001d5","5e1e93cdcda997de01000160","5e1ef20c147729df0100005d","5e1f79e308195af301000038","5e2174b5c7842fde01000027","5e24ca0a981ceddf01000063","5e252ca7b55b9edf01000113","5e2575c3f58a5cde0100010f","5e265301b1a9eede01000061","5e27599118178ede0100017d","5e276fc158994fde01000170","5e28897f67e11edf01000124","5e299feafed3e7df010000da","5e2a280add9c08df010000a0","5e2b104adf8a5dde010000cf","5e2d7f97556d50df0100009e","5e2e7e178e08f0de010000c5","5e2eedf89033bede010001cc","5e30494357a222df01000034","5e3064724988d7de01000023","5e31bc90b5384fde010000b8","5e330472c1389bde0100038c","5e33064c200286df01000023","5e34b28ded2109df0100004f","5e35e75d5cd57fde01000042","5e35ee395cd57fde01000093","5e362ffa1727e7df01000100","5e36bfb37b975dde010000ae","5e3704406568afde0100008f","5e37387f4cbab2df01000082","5e3868101f8af9e001000011","5e3903d3dc5b8ade010000b6","5e399029d14579de010001a8","5e3b03fe55f0f2df0100016f","5e3b4704930f80df01000043","5e3c65dc67788ede01000077","5e3d6b515f3240de0100011c","5e3d7ee896e576de010000b2","5e40e233fd6934df0100004a","5e416aa3d9f47bee01000010","5e416d5dd9f47bee0100005a","5e4179b7d9f47bee0100019b","5e41a8190b4861de0100008b","5e41deb3a9454ade01000067","5e4352b8a37866de0100006f","5e447927084293df0100017e","5e460617a5737fde01000101","5e471a8ba2783dde01000178","5e49a7afcb98e8de01000006","5e4df8cccc196bde010000c8","5e4fb3132c51e8de01000018","5e50e9c09f7a6dde0100001b","5e53faf1e81566de01000003","5e54abe1929495df01000067","5e555ff7e89e5fde0100012d","5e5847f62c2732de01000048","5e5d692bad47bcde01000165","5e5f6fb05766d9df0100005e","5e6067a99119f0de01000016","5e62711911ac5fde010001d0","5e638e1d0ddad9de010000fa","5e64709ae1ac00de010000c6","5e6551830c7028de01000124","5e66b7404b4a62de01000113","5e67ef010e29d3de01000218","5e697e71ae9c71de01000672","5xkoidWxKThW8NTvt","67x89HAFec9mWvFjS","6CW92JwadPTCzFueL","6J5DRXyRZoKnymZ6x","6YKKbsHSGZzhx54uy","6chaaJjFcaFJQnzBQ","6hqAAMeANNuwYRqrs","6pPAFEiFBTYXzCMb3","6wiBdsnhSW5m24awu","765ukJy7ZoeHBZDBK","8Q7LZa3hLjMXGf9J5","8yAbguBB6cAPT654P","933oBRoGWiPWyuPnK","9FKHKrCr6yEnDEGX3","9fXZN5mSGF9t5aBSn","AnSyREvwZXLyF4RxA","AtytkLrRvZsudWuYQ","B4vajTdHD4Ri8TZrN","BnDqFhDCE9eHJAD9J","C6kezLWjqd8yTxyYa","C8ndD4rRv73GgRwcB","CemY3xqMW2xRiqEuN","Cgbq8Ck2TAY4cxE8b","CrhSAWdwuB6dgY35T","D9bHdmnqCSkLmqZHL","DwpMzChecvhAojbcY","ETHEfnBtGvRPFMFpF","EXasmpxBZ7ghGnaW8","Ejt8vP9NG4vQmmAsg","F6GDnfF3zGvyTBpyh","FBaPdGpvoD46i4Mjx","FHK6cFSaDvBcYW53w","FbdTQcpYFEEXsnZ8e","Ft6qnhRKsR7JnF5Em","H8G4jveYSxfEv9y5k","HFxBiggQXYDFrE8L2","HXRSpMqK7x6QgvvrD","HnaXiR7Ycv8RjpcsB","JgHqtmKtTg2AsLqXw","JjnYdrG4beCB4T6cr","Jpdm2Acdt7gAnZjfo","JzGR3EmnJountR5YJ","KcpLnL29i4BGfBCd5","KzDGggNumAQNPo5Gc","LZDpeSC6rqc9Xp2GQ","LrnPnisaCkDzB9Aep","LzwzkKEB5e6GPBzwP","M2wrfWw2EQ6SfZuoy","MgNTMpQWaQjMkvaAu","NKsu8tnHf5zYGFvpb","NkE4yqBkyoCeLs56s","NmbQwXnd3zmbu8QKn","PWw4GdYsfa5TDu5r5","PuynCKF6Ex8FNwAKr","QRKfAoM74fH8DCNaS","QTmf8Btu223k49E9j","QZjLBFoPSarNx8xb4","QqNjtu2yjvKLYurvZ","R52C9jDEYB4yWj2dX","RSBYbB5JFttreYHq2","Rs2JSihoThS5rYe3q","Rv5sDXne5FAx7rREm","STnAmsJnsXEARkpwQ","Si7AXy5jenEZTF8oW","SoBgqY37r3AcC7KR6","SqmQHNLkYpFaov4xW","TZDcetg4AGStpnHSt","Tk7QZP9nrQ6u7cTKF","TnhBmqbX2Yv6jxYaz","W6DtwFaLdCpRQGNMD","WFMRHGhwuBMoRCRE2","Wb7ihZbgvPsjJoQBz","WgjDRyR5o4YEwcstC","WqA5CnabYsdiXGhXJ","WqJL6keuXL2fhkpqi","XdNyNRkWsB2bj6P4x","Y2FyoqZjkYcnT5NE2","ZLiyvxCQo38KEA5Mf","ZLxrLx9yBdFdhJay9","ZMnY8n675PhHxJqAh","ZSWzEQY3ZgubCFogx","afd8TsZKrEL5Bsak2","agef4P7Q97oQhfpkm","amcLNFSqCeiWgxB5P","bfqSLc6JPJtwoB478","buhnkpR3vTBpxZpx2","cEoJQ9oHmkxBquvQX","cGWs4iXbLpAFmAo5u","cePwc9gNCMvQ39Xjt","dM8H7cGLcNDTEpTx5","dR3vtYXM6kBpBsDkM","dRYswiPFTd4ztERTS","eKxMZXnM3Wi8Xg9Sc","eYoAsPJ8XKL9ta5Lm","fD2SwB2fNBXKoQ3NZ","fJSfEKmxtTuZ4vyid","foZb3arEspi7kvuXL","gEX9cDPE9iPcWQhiT","gZGhdQXqNSHBRSkrL","i8vAcEebjeRXfi2C9","iRybAo2SL8rcmFYDk","iTx3Biv3DJSj5GWwS","j6nMzgyy5GZgMmWBf","jFqP25PHG4Zqsmago","k4afzsvaki5ujosbw","mZxxbNcvmdF3SEQ97","meZwNP5qXbk7hyAhK","mvtCH28RyaBGWwvDr","ocWKQ3ZDHTznzXE53","odw4rLhRucYkSzkfq","oePxQu9ofekK55Dy7","owLjkFZH4NGJfXep4","oyMvKtSn6itMmy7Y2","p4BXowCk43rpZgbYi","p4yZp7NGhcoo7Lp47","p88vvwbEdB5P5wvYN","p8c4D7MidGoj5RDXo","pM7zv5589EnLx9Mym","pgq2eFgB5PcF8gBf6","q7WEQub5K3nBB4pW3","qTZwQMjnRExZLv4oX","qwmaJvJaTWtxPQo6f","qxaAPDNkPmZ8XJJZk","r4NiLfZwnW4rccjov","rA7Gxq2WCQezRbanq","rRQSusxMTmqCcjNs2","rXHPybJs98xQtxyHW","rr7KiYg6GdLPjfEhs","sBEitfSkecutwtFBL","sHYNzJvZ2DKZCQPSH","sPJA4Cpk3MrqnJA2o","sfE6E4osXiaMxeHzW","sfcqibk4bbR8cNQwP","tFzEjJnaRXQG3eqPa","twwTSeT8yrhMrKFWW","u22nvA9R2avGhPsCy","u5yMTGwv7tbuTHiDW","uKyjFkEqKHNsKydhB","ue36A4ckwbQrBRRQ4","uexofumypjiEDxHo8","uxPJHPqdKCRYoJwsz","vAX2XcEsgxsvv2EEq","vBtuXrw4iPkD4AXJc","vH9CPG6zo959PEaPk","vpenfeWfdZNJbi5yu","w3jetyexKSBqQPy3C","wDrCxrSBrEzpnCwdx","wJnAwRe8T5TsKFAZz","wgoygNcujKCpZhGrb","wvGkwSYpQ3uZfT28o","xFqqZDbJzzyRDfGej","xWuHduThdvQXSwRia","yCgqAZoFCTeZQkrye","yQbdQJTiLvupePxtq","zBTAyQ9aoBLyeL6ME","zTwdHN23PrYJ3qHLj","zk8c2Ww3bDSeRKveC"],"author_short":["Davies, J.","Bacchus, F."],"bibbaseid":"davies-bacchus-usingmorereasoningtoimprovesatsolving-2007","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jessica"],"propositions":[],"lastnames":["Davies"],"suffixes":[]},{"firstnames":["Fahiem"],"propositions":[],"lastnames":["Bacchus"],"suffixes":[]}],"title":"Using More Reasoning to Improve #SAT Solving","area":"Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)","url":"DBaaai07.pdf","booktitle":"Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-2007)","year":"2007","pages":"185-190","bibsource":"DBLP http://dblp.uni-trier.de","bibtex":"@inproceedings{DBLP:conf/aaai/DaviesB07,\n\tauthor = {Jessica Davies and Fahiem Bacchus},\n\ttitle = {Using More Reasoning to Improve \\#SAT Solving},\n area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},\n\turl = {DBaaai07.pdf},\n\tbooktitle = {Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-2007)},\n\tyear = {2007},\n\tpages = {185-190},\n\tbibsource = {DBLP http://dblp.uni-trier.de}\n}\n\n","author_short":["Davies, J.","Bacchus, F."],"key":"DBLP:conf/aaai/DaviesB07","id":"DBLP:conf/aaai/DaviesB07","bibbaseid":"davies-bacchus-usingmorereasoningtoimprovesatsolving-2007","role":"author","urls":{"Paper":"www.cs.toronto.edu/~fbacchus/Papers/DBaaai07.pdf"},"metadata":{"authorlinks":{"bacchus, f":"https://www.cs.toronto.edu/"}}},"bibtype":"inproceedings","biburl":"www.cs.toronto.edu/~fbacchus/Papers/list.bib","downloads":7,"keywords":[],"search_terms":["using","more","reasoning","improve","sat","solving","davies","bacchus"],"title":"Using More Reasoning to Improve #SAT Solving","year":2007,"dataSources":["2LLKDfkxMDdABm58M","Z48YTwnvi8Hf5E3Am","TkE489dk8uJTqCbxk","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}