CINXE.COM

SAT 2025: International Conference on Theory and Applications of Satisfiability Testing

<!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"/> <meta name="description" content="SAT 2025: International Conference on Theory and Applications of Satisfiability Testing" /> <link rel="stylesheet" type="text/css" href="/assets/478ca885/gridview/styles.css" /> <link rel="stylesheet" type="text/css" href="/assets/b0666b16/pager.css" /> <link rel="stylesheet" type="text/css" href="/themes/abound/css/bootstrap.min.css" /> <link rel="stylesheet" type="text/css" href="/themes/abound/css/bootstrap-responsive.min.css" /> <link rel="stylesheet" type="text/css" href="/themes/abound/css/abound.css" /> <link rel="stylesheet" type="text/css" href="/themes/abound/css/style-orange.css" /> <script type="text/javascript" src="/assets/477bc0eb/jquery.min.js"></script> <script type="text/javascript" src="/assets/477bc0eb/jquery.ba-bbq.min.js"></script> <script type="text/javascript" src="/themes/abound/js/bootstrap.min.js"></script> <script type="text/javascript" src="/themes/abound/js/plugins/jquery.flot.min.js"></script> <title>SAT 2025: International Conference on Theory and Applications of Satisfiability Testing</title> <meta name="viewport" content="width=device-width, initial-scale=1.0"/> <!-- <meta name="description" content="The Latest Computer Conference and Journal List"> --> <meta name="author" content="www.myhuiban.com"/> <!-- <link href='http://fonts.googleapis.com/css?family=Carrois+Gothic' rel='stylesheet' type='text/css'> --> <!-- Le HTML5 shim, for IE6-8 support of HTML5 elements --> <!--[if lt IE 9]> <script src="http://html5shim.googlecode.com/svn/trunk/html5.js"></script> <![endif]--> <link rel="alternate" hreflang="x-default" href="/conference/1495" /> <link rel="alternate" hreflang="en" href="/conference/1495?lang=en_us" /> <link rel="alternate" hreflang="es" href="/conference/1495?lang=es" /> <link rel="alternate" hreflang="zh" href="/conference/1495?lang=zh_cn" /> <link rel="alternate" hreflang="ja" href="/conference/1495?lang=ja" /> <!-- Fav and Touch and touch icons --> <link rel="shortcut icon" href="/themes/abound/img/icons/favicon.ico"> <link rel="apple-touch-icon-precomposed" sizes="144x144" href="/themes/abound/img/icons/apple-touch-icon-144-precomposed.png"> <link rel="apple-touch-icon-precomposed" sizes="72x72" href="/themes/abound/img/icons/apple-touch-icon-72-precomposed.png"> <link rel="apple-touch-icon-precomposed" href="/themes/abound/img/icons/apple-touch-icon-57-precomposed.png"> <!-- styles for style switcher <link rel="stylesheet" type="text/css" href="/themes/abound/css/style-orange.css" /> --> <!-- Global site tag (gtag.js) - Google Analytics --> <script async src="https://www.googletagmanager.com/gtag/js?id=UA-16655604-2"></script> <script> window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('js', new Date()); gtag('config', 'UA-16655604-2'); </script> <script async src="https://pagead2.googlesyndication.com/pagead/js/adsbygoogle.js?client=ca-pub-6743617430731451" crossorigin="anonymous"></script> <!-- InMobi Choice. Consent Manager Tag v3.0 (for TCF 2.2) --> <script type="text/javascript" async=true> (function() { var host = "www.themoneytizer.com"; var element = document.createElement('script'); var firstScript = document.getElementsByTagName('script')[0]; var url = 'https://cmp.inmobi.com' .concat('/choice/', '6Fv0cGNfc_bw8', '/', host, '/choice.js?tag_version=V3'); var uspTries = 0; var uspTriesLimit = 3; element.async = true; element.type = 'text/javascript'; element.src = url; firstScript.parentNode.insertBefore(element, firstScript); function makeStub() { var TCF_LOCATOR_NAME = '__tcfapiLocator'; var queue = []; var win = window; var cmpFrame; function addFrame() { var doc = win.document; var otherCMP = !!(win.frames[TCF_LOCATOR_NAME]); if (!otherCMP) { if (doc.body) { var iframe = doc.createElement('iframe'); iframe.style.cssText = 'display:none'; iframe.name = TCF_LOCATOR_NAME; doc.body.appendChild(iframe); } else { setTimeout(addFrame, 5); } } return !otherCMP; } function tcfAPIHandler() { var gdprApplies; var args = arguments; if (!args.length) { return queue; } else if (args[0] === 'setGdprApplies') { if ( args.length > 3 && args[2] === 2 && typeof args[3] === 'boolean' ) { gdprApplies = args[3]; if (typeof args[2] === 'function') { args[2]('set', true); } } } else if (args[0] === 'ping') { var retr = { gdprApplies: gdprApplies, cmpLoaded: false, cmpStatus: 'stub' }; if (typeof args[2] === 'function') { args[2](retr); } } else { if(args[0] === 'init' && typeof args[3] === 'object') { args[3] = Object.assign(args[3], { tag_version: 'V3' }); } queue.push(args); } } function postMessageEventHandler(event) { var msgIsString = typeof event.data === 'string'; var json = {}; try { if (msgIsString) { json = JSON.parse(event.data); } else { json = event.data; } } catch (ignore) {} var payload = json.__tcfapiCall; if (payload) { window.__tcfapi( payload.command, payload.version, function(retValue, success) { var returnMsg = { __tcfapiReturn: { returnValue: retValue, success: success, callId: payload.callId } }; if (msgIsString) { returnMsg = JSON.stringify(returnMsg); } if (event && event.source && event.source.postMessage) { event.source.postMessage(returnMsg, '*'); } }, payload.parameter ); } } while (win) { try { if (win.frames[TCF_LOCATOR_NAME]) { cmpFrame = win; break; } } catch (ignore) {} if (win === window.top) { break; } win = win.parent; } if (!cmpFrame) { addFrame(); win.__tcfapi = tcfAPIHandler; win.addEventListener('message', postMessageEventHandler, false); } }; makeStub(); var uspStubFunction = function() { var arg = arguments; if (typeof window.__uspapi !== uspStubFunction) { setTimeout(function() { if (typeof window.__uspapi !== 'undefined') { window.__uspapi.apply(window.__uspapi, arg); } }, 500); } }; var checkIfUspIsReady = function() { uspTries++; if (window.__uspapi === uspStubFunction && uspTries < uspTriesLimit) { console.warn('USP is not accessible'); } else { clearInterval(uspInterval); } }; if (typeof window.__uspapi === 'undefined') { window.__uspapi = uspStubFunction; var uspInterval = setInterval(checkIfUspIsReady, 6000); } })(); </script> <!-- End InMobi Choice. Consent Manager Tag v3.0 (for TCF 2.2) --> <style> .qc-cmp-button, .qc-cmp-button.qc-cmp-secondary-button:hover { background-color: #000000 !important; border-color: #000000 !important; } .qc-cmp-button:hover, .qc-cmp-button.qc-cmp-secondary-button { background-color: transparent !important; border-color: #000000 !important; } .qc-cmp-alt-action, .qc-cmp-link { color: #000000 !important; } .qc-cmp-button, .qc-cmp-button.qc-cmp-secondary-button:hover { color: #ffffff !important; } .qc-cmp-button:hover, .qc-cmp-button.qc-cmp-secondary-button { color: #000000 !important; } .qc-cmp-small-toggle, .qc-cmp-toggle { background-color: #000000 !important; border-color: #000000 !important; } .qc-cmp-main-messaging, .qc-cmp-messaging, .qc-cmp-sub-title, .qc-cmp-privacy-settings-title, .qc-cmp-purpose-list, .qc-cmp-tab, .qc-cmp-title, .qc-cmp-vendor-list, .qc-cmp-vendor-list-title, .qc-cmp-enabled-cell, .qc-cmp-toggle-status, .qc-cmp-table, .qc-cmp-table-header { color: #000000 !important; } .qc-cmp-ui { background-color: #ffffff !important; } .qc-cmp-table, .qc-cmp-table-row { border: 1px solid !important; border-color: #000000 !important; } #qcCmpButtons a { text-decoration: none !important; } #qcCmpButtons button { margin-top: 65px; } @media screen and (min-width: 851px) { #qcCmpButtons a { position: absolute; bottom: 10%; left: 60px; } } .qc-cmp-qc-link-container{ display:none; } </style> </head> <body> <section id="navigation-main"> <!-- Require the navigation --> <div class="navbar navbar-inverse navbar"> <div class="navbar-inner"> <div class="container"> <a class="btn btn-navbar" data-toggle="collapse" data-target=".nav-collapse"> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </a> <!-- Be sure to leave the brand out there if you want it shown --> <a class="brand" href="https://www.myhuiban.com"><strong>Conference Partner</strong></a> <div class="nav-collapse"> <ul class="pull-right nav" id="yw17"> <li class="item-test"><a href="/">Home</a></li> <li class="item-test"><a href="/conferences">Conferences</a></li> <li class="item-test"><a href="/journals">Journals</a></li> <li class="item-test"><a href="/login">Login</a></li> </ul> </div> </div> </div> </div> <div class="subnav navbar navbar"> <div class="navbar-inner"> <div class="container"> <form class="navbar-search pull-right" id="search-form" action="/search" method="get"> <div> <img src="/images/CN.gif"/><a href="/conference/1495?lang=zh_cn"> 中文 </a> | <img src="/images/US.gif"/><a href="/conference/1495?lang=en_us"> English </a> | <img src="/images/ES.gif"/><a href="/conference/1495?lang=es"> Español </a> | <img src="/images/JP.gif"/><a href="/conference/1495?lang=ja"> 日本語 </a> &nbsp; &nbsp; &nbsp <input class="search-query span2" placeholder="Search" name="SearchForm[key]" id="SearchForm_key" type="text" maxlength="200" /> </div> </form> </div><!-- container --> </div><!-- navbar-inner --> </div><!-- subnav --> </section><!-- /#navigation-main --> <section class="main-body"> <div class="container-fluid"> <!-- Include content pages --> <div class="row-fluid"> <div class="span10"> <div class="breadcrumb"> <a href="/">Conference Partner</a> &raquo; <a href="/conferences">Conferences</a> &raquo; <span>SAT</span></div><!-- breadcrumbs --> <!-- Include content pages --> <script type="application/ld+json"> { "@context": "http://schema.org", "@type": "Event", "name": "SAT 2025: International Conference on Theory and Applications of Satisfiability Testing", "location": { "@type": "Place", "name":"Glasgow, Scotland, UK", "address":{ "@type": "PostalAddress", "addressLocality": "Glasgow, Scotland, UK" } }, "startDate": "2025-08-11" } </script> <div class="portlet" id="yw0"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-tasks"></i> Conference Information</div> </div> <div class="portlet-content"> <div align="center"> <h5>SAT 2025: International Conference on Theory and Applications of Satisfiability Testing</h5> <a href="https://satisfiability.org/SAT25/">https://satisfiability.org/SAT25/</a> <br /> <table border="0" align="center" cellpadding="0" cellspacing="1"> <tr> <td width="150" height="25"><div align="center">Submission Date:</div></td> <td width="150"><div align="center">2025-03-20</div></td> </tr> <tr> <td width="150" height="25"><div align="center">Notification Date:</div></td> <td width="150"><div align="center">2025-05-05</div></td> </tr> <tr> <td width="150" height="25"><div align="center">Conference Date:</div></td> <td width="150"><div align="center">2025-08-11</div></td> </tr> <tr> <td width="150" height="25"><div align="center">Location:</div></td> <td width="150"><div align="center">Glasgow, Scotland, UK</div></td> </tr> <tr> <td width="100" height="25"><div align="center">Years:</div></td> <td width="150"><div align="center"><span class="badge badge-info">28</span></div></td> </tr> </table> <div class="hidden-phone" align="center"> CCF: <span class="badge badge-warning">b</span> &nbsp; CORE: <span class="badge badge-warning">a</span> &nbsp; QUALIS: <span class="badge badge-warning">b1</span> &nbsp; Viewed: <span class="badge badge-success">19689</span> &nbsp; Tracked: <span class="badge badge-warning">12</span> &nbsp; Attend: <span class="badge badge-important">3</span> </div> </div> <br /> </div> </div> <div class="portlet" id="yw1"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-bullhorn"></i> Call For Papers</div> </div> <div class="portlet-content"> <pre>ScopePermalink SAT 2025 is the 28th edition of the International Conference on Theory and Applications of Satisfiability Testing. The scope of SAT 2025 includes all aspects of the theory and applications of propositional satisfiability broadly construed. This includes paradigms such as Boolean optimization using, e.g., MaxSAT and pseudo-Boolean (PB) solving, quantified Boolean formulas (QBF), satisfiability modulo theories (SMT), model counting, constraint programming (CP), and integer linear programming (ILP) for problems with clear connections to Boolean-level reasoning. This year the 31st International Conference on Principles and Practice of Constraint Programming (CP) will be co-located with SAT and will have deadlines and reviewing process synchronized with SAT 2025. Topics of interest for the SAT 2025 conference include but are not limited to: Theoretical advances (including algorithms, proof complexity, parameterized complexity, and other complexity issues) Practical search algorithms Knowledge compilation Implementation-level details of SAT and SMT solving tools and SAT/SMT-based systems Problem encodings and reformulations Applications (including both novel applications domains and improvements to existing approaches) Case studies and reports on scientific findings based on rigorous experimentation Out of ScopePermalink Papers claiming to resolve significant long-standing open problems in mathematics or computer science (such as those for which a Millennium Prize is offered) are outside the scope of the conference, since there is insufficient time in the schedule to referee such papers. Instead, works of such importance should be submitted to an appropriate scientific journal for in-depth technical review.</pre><div class="alert alert-warning"> Last updated by <a href="/researcher/1">Dou Sun</a> in 2025-02-15</div> </div> </div> <!-- <div class="hidden-phone"> <div align="center"> <table border="0" align="center" cellpadding="0" cellspacing="1" class="noScroll"> <tr> <td width="180"><div align="center"> <a target="_blank" href=""><img src="" alt="" border="0" style="width:110;height:160" title=""/></a> <br /> <br /> </div></td> </tr> <tr> </tr> </table> <div align="center"><a target="_blank" href=""> >></a></div> </div> </div> --> <div class="portlet" id="yw2"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-signal"></i> Acceptance Ratio</div> </div> <div class="portlet-content"> <div class="row-fluid"> <div class="span8"> <div id="placeholder" style="height:240px"></div> <script type="text/javascript"> $(function() { var data = [ ['2003', 62.7], ['2005', 35.6], ['2006', 28.9], ['2007', 29.7], ['2008', 24.3] ]; var ticks = [ ['2003', '2003'], ['2005', '2005'], ['2006', '2006'], ['2007', '2007'], ['2008', '2008'] ]; $.plot("#placeholder", [ data ], { series: { bars: { show: true, barWidth: 0.6, align: "center" } }, xaxis: { ticks: ticks, tickLength: 0 }, yaxis: { max: 100, tickFormatter: function (v, axis) { return v + "%"; } } }); }); </script> </div> <div class="span4"> <div style="height:240px;overflow:scroll"> <div id="yw3" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw3_c0">Year</th><th id="yw3_c1">Submitted</th><th id="yw3_c2">Accepted</th><th id="yw3_c3">Accepted(%)</th></tr> </thead> <tbody> <tr class="odd"> <td>2008</td><td>70</td><td>17</td><td>24.3%</td></tr> <tr class="even"> <td>2007</td><td>74</td><td>22</td><td>29.7%</td></tr> <tr class="odd"> <td>2006</td><td>90</td><td>26</td><td>28.9%</td></tr> <tr class="even"> <td>2005</td><td>73</td><td>26</td><td>35.6%</td></tr> <tr class="odd"> <td>2003</td><td>67</td><td>42</td><td>62.7%</td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/1495"><span>2730</span><span>2729</span><span>2728</span><span>2727</span><span>2726</span></div> </div></div> </div> </div> </div> </div> <div class="portlet" id="yw4"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-th"></i> Related Conferences</div> </div> <div class="portlet-content"> <div class="hidden-phone"> <div id="yw5" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw5_c0">CCF</th><th id="yw5_c1">CORE</th><th id="yw5_c2">QUALIS</th><th id="yw5_c3">Short</th><th id="yw5_c4">Full Name</th><th id="yw5_c5">Submission</th><th id="yw5_c6">Notification</th><th id="yw5_c7">Conference</th></tr> </thead> <tbody> <tr class="odd"> <td></td><td></td><td></td><td>ARITH</td><td><a href="/conference/1798">IEEE Symposium on Computer Arithmetic</a></td><td>2024-01-18</td><td>2024-04-05</td><td>2024-06-10</td></tr> <tr class="even"> <td></td><td></td><td></td><td>ICIHT</td><td><a href="/conference/2032">International Conference on Informatics, Health & Technology</a></td><td>2016-10-03</td><td>2016-11-01</td><td>2017-02-21</td></tr> <tr class="odd"> <td><span class="badge badge-warning">a</span></td><td><span class="badge badge-warning">a*</span></td><td><span class="badge badge-warning">a1</span></td><td>CRYPTO</td><td><a href="/conference/291">International Cryptology Conference</a></td><td>2025-02-13</td><td>2025-05-03</td><td>2025-08-17</td></tr> <tr class="even"> <td></td><td></td><td></td><td>IMMM</td><td><a href="/conference/396">International Conference on Advances in Information Mining and Management</a></td><td>2022-03-22</td><td>2022-04-19</td><td>2022-06-26</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>CNSA</td><td><a href="/conference/3204">International Conference on Network Security & Applications</a></td><td>2022-02-12</td><td>2022-02-19</td><td>2022-02-26</td></tr> <tr class="even"> <td></td><td></td><td></td><td>TAAC</td><td><a href="/conference/1369">Theoretical and Applied Aspects of Cybernetics</a></td><td>2014-10-20</td><td>2014-10-25</td><td>2014-11-24</td></tr> <tr class="odd"> <td></td><td></td><td></td><td>ASSE</td><td><a href="/conference/3376">Asia Service Sciences and Software Engineering Conference</a></td><td>2024-06-25</td><td>2024-07-10</td><td>2024-09-11</td></tr> <tr class="even"> <td></td><td></td><td></td><td>ICVARS</td><td><a href="/conference/3339">International Conference on Virtual and Augmented Reality Simulations</a></td><td>2025-06-15</td><td>2025-07-15</td><td>2025-07-25</td></tr> <tr class="odd"> <td></td><td></td><td><span class="badge badge-warning">b4</span></td><td>ICUIMC</td><td><a href="/conference/742">International Conference on Ubiquitous Information Management and Communication</a></td><td>2015-09-30</td><td>2015-10-14</td><td>2016-01-04</td></tr> <tr class="even"> <td></td><td></td><td></td><td>iThings</td><td><a href="/conference/1009">International Conference on Internet of Things</a></td><td>2024-05-01</td><td>2024-06-01</td><td>2024-08-19</td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/1495"><span>1798</span><span>2032</span><span>291</span><span>396</span><span>3204</span><span>1369</span><span>3376</span><span>3339</span><span>742</span><span>1009</span></div> </div></div> <div class="visible-phone"> <div id="yw6" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw6_c0">Short</th><th id="yw6_c1">Full Name</th><th id="yw6_c2">Submission</th><th id="yw6_c3">Conference</th></tr> </thead> <tbody> <tr class="odd"> <td>ARITH</td><td><a href="/conference/1798">IEEE Symposium on Computer Arithmetic</a></td><td>2024-01-18</td><td>2024-06-10</td></tr> <tr class="even"> <td>ICIHT</td><td><a href="/conference/2032">International Conference on Informatics, Health & Technology</a></td><td>2016-10-03</td><td>2017-02-21</td></tr> <tr class="odd"> <td>CRYPTO</td><td><a href="/conference/291">International Cryptology Conference</a></td><td>2025-02-13</td><td>2025-08-17</td></tr> <tr class="even"> <td>IMMM</td><td><a href="/conference/396">International Conference on Advances in Information Mining and Management</a></td><td>2022-03-22</td><td>2022-06-26</td></tr> <tr class="odd"> <td>CNSA</td><td><a href="/conference/3204">International Conference on Network Security & Applications</a></td><td>2022-02-12</td><td>2022-02-26</td></tr> <tr class="even"> <td>TAAC</td><td><a href="/conference/1369">Theoretical and Applied Aspects of Cybernetics</a></td><td>2014-10-20</td><td>2014-11-24</td></tr> <tr class="odd"> <td>ASSE</td><td><a href="/conference/3376">Asia Service Sciences and Software Engineering Conference</a></td><td>2024-06-25</td><td>2024-09-11</td></tr> <tr class="even"> <td>ICVARS</td><td><a href="/conference/3339">International Conference on Virtual and Augmented Reality Simulations</a></td><td>2025-06-15</td><td>2025-07-25</td></tr> <tr class="odd"> <td>ICUIMC</td><td><a href="/conference/742">International Conference on Ubiquitous Information Management and Communication</a></td><td>2015-09-30</td><td>2016-01-04</td></tr> <tr class="even"> <td>iThings</td><td><a href="/conference/1009">International Conference on Internet of Things</a></td><td>2024-05-01</td><td>2024-08-19</td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/1495"><span>1798</span><span>2032</span><span>291</span><span>396</span><span>3204</span><span>1369</span><span>3376</span><span>3339</span><span>742</span><span>1009</span></div> </div></div> </div> </div> <div class="portlet" id="yw7"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-file"></i> Related Journals</div> </div> <div class="portlet-content"> <div class="hidden-phone"> <div id="yw8" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw8_c0">CCF</th><th id="yw8_c1">Full Name</th><th id="yw8_c2">Impact Factor</th><th id="yw8_c3">Publisher</th><th id="yw8_c4">ISSN</th></tr> </thead> <tbody> <tr class="odd"> <td></td><td><a href="/journal/525">New Generation Computing</a></td><td>2.000</td><td>Springer</td><td>0288-3635</td></tr> <tr class="even"> <td></td><td><a href="/journal/802">Journal of Research on Technology in Education</a></td><td>4.500</td><td>Taylor &amp; Francis</td><td>1539-1523</td></tr> <tr class="odd"> <td></td><td><a href="/journal/603">Journal of Optical Communications and Networking</a></td><td>4.000</td><td>OSA Publishing</td><td>1943-0620</td></tr> <tr class="even"> <td></td><td><a href="/journal/609">IET Control Theory & Applications</a></td><td>2.200</td><td>IET</td><td>1751-8644</td></tr> <tr class="odd"> <td></td><td><a href="/journal/878">Bulletin of Electrical Engineering and Informatics</a></td><td></td><td>IAES</td><td>2089-3191</td></tr> <tr class="even"> <td></td><td><a href="/journal/819">Optical Materials</a></td><td>3.800</td><td>Elsevier</td><td>0925-3467</td></tr> <tr class="odd"> <td></td><td><a href="/journal/619">Journal of Universal Computer Science</a></td><td></td><td>Verlag der Technischen Universitat Graz</td><td>0948-695x</td></tr> <tr class="even"> <td><span class="badge badge-warning">b</span></td><td><a href="/journal/69">Theoretical Computer Science</a></td><td>0.900</td><td>Elsevier</td><td>0304-3975</td></tr> <tr class="odd"> <td><span class="badge badge-warning">b</span></td><td><a href="/journal/198">Pattern Recognition</a></td><td>7.500</td><td>Elsevier</td><td>0031-3203</td></tr> <tr class="even"> <td></td><td><a href="/journal/935">Applied Ontology</a></td><td>2.500</td><td>IOS Press</td><td>1570-5838</td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/1495"><span>525</span><span>802</span><span>603</span><span>609</span><span>878</span><span>819</span><span>619</span><span>69</span><span>198</span><span>935</span></div> </div></div> <div class="visible-phone"> <div id="yw9" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw9_c0">Full Name</th><th id="yw9_c1">Impact Factor</th><th id="yw9_c2">Publisher</th></tr> </thead> <tbody> <tr class="odd"> <td><a href="/journal/525">New Generation Computing</a></td><td>2.000</td><td>Springer</td></tr> <tr class="even"> <td><a href="/journal/802">Journal of Research on Technology in Education</a></td><td>4.500</td><td>Taylor &amp; Francis</td></tr> <tr class="odd"> <td><a href="/journal/603">Journal of Optical Communications and Networking</a></td><td>4.000</td><td>OSA Publishing</td></tr> <tr class="even"> <td><a href="/journal/609">IET Control Theory & Applications</a></td><td>2.200</td><td>IET</td></tr> <tr class="odd"> <td><a href="/journal/878">Bulletin of Electrical Engineering and Informatics</a></td><td></td><td>IAES</td></tr> <tr class="even"> <td><a href="/journal/819">Optical Materials</a></td><td>3.800</td><td>Elsevier</td></tr> <tr class="odd"> <td><a href="/journal/619">Journal of Universal Computer Science</a></td><td></td><td>Verlag der Technischen Universitat Graz</td></tr> <tr class="even"> <td><a href="/journal/69">Theoretical Computer Science</a></td><td>0.900</td><td>Elsevier</td></tr> <tr class="odd"> <td><a href="/journal/198">Pattern Recognition</a></td><td>7.500</td><td>Elsevier</td></tr> <tr class="even"> <td><a href="/journal/935">Applied Ontology</a></td><td>2.500</td><td>IOS Press</td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/1495"><span>525</span><span>802</span><span>603</span><span>609</span><span>878</span><span>819</span><span>619</span><span>69</span><span>198</span><span>935</span></div> </div></div> </div> </div> <div class="portlet" id="yw10"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-eye-open"></i> Recommendation</div> </div> <div class="portlet-content"> <div align="center"> <script async src="//pagead2.googlesyndication.com/pagead/js/adsbygoogle.js"></script> <!-- Recommendation --> <ins class="adsbygoogle" style="display:block" data-ad-client="ca-pub-6743617430731451" data-ad-slot="1870704128" data-ad-format="autorelaxed"></ins> <script> (adsbygoogle = window.adsbygoogle || []).push({}); </script> </div> </div> </div> </div><!--/span--> <div class="span2 hidden-phone"> <div class="sidebar-nav"> <ul id="yw11"> <li><a href="http://www.myhuiban.com/conference/track/id/1495"><i class="icon icon-plus"></i> &nbsp; Track It <span class="badge badge-warning pull-right">12</span></a></li> <li><a href="http://www.myhuiban.com/conference/attend/id/1495"><i class="icon icon-plane"></i> &nbsp; Attend It <span class="badge badge-important pull-right">3</span></a></li> <li><a href="/conference/edit/1495"><i class="icon icon-edit"></i> &nbsp; Edit CFP</a></li> </ul><br/> <div id="yw12" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw12_c0">Tracker</th></tr> </thead> <tbody> <tr class="odd"> <td><a href="/researcher/45530">Peng Ye (33)</a></td></tr> <tr class="even"> <td><a href="/researcher/41171">Liu Ying (53)</a></td></tr> <tr class="odd"> <td><a href="/researcher/35240">Zhang Gelin (649)</a></td></tr> <tr class="even"> <td><a href="/researcher/26213">Bo Liu (640)</a></td></tr> <tr class="odd"> <td><a href="/researcher/23273">AA BB (1314)</a></td></tr> <tr class="even"> <td><a href="/researcher/12649">Hansheng Wei (1654)</a></td></tr> <tr class="odd"> <td><a href="/researcher/12433">Sikandar Ali (719)</a></td></tr> <tr class="even"> <td><a href="/researcher/13345">Jie Luo (454)</a></td></tr> <tr class="odd"> <td><a href="/researcher/12386">Weilin Luo (24)</a></td></tr> <tr class="even"> <td><a href="/researcher/12301">Wenjie Ruan (775)</a></td></tr> <tr class="odd"> <td><a href="/researcher/1609">Archer Kai (304)</a></td></tr> <tr class="even"> <td><a href="/researcher/1263">Dan Wu (162)</a></td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/1495"><span>45530</span><span>41171</span><span>35240</span><span>26213</span><span>23273</span><span>12649</span><span>12433</span><span>13345</span><span>12386</span><span>12301</span><span>1609</span><span>1263</span></div> </div> <div id="yw14" class="grid-view"> <table class="table table-hover table-striped table-bordered table-condensed"> <thead> <tr> <th id="yw14_c0">Attender</th><th id="yw14_c1">Year</th></tr> </thead> <tbody> <tr class="odd"> <td><a href="/researcher/45530">Peng Ye (33)</a></td><td>2022</td></tr> <tr class="even"> <td><a href="/researcher/12649">Hansheng Wei (1654)</a></td><td>2018</td></tr> <tr class="odd"> <td><a href="/researcher/1263">Dan Wu (162)</a></td><td>2015</td></tr> </tbody> </table><div class="keys" style="display:none" title="/conference/1495"><span>45530</span><span>12649</span><span>1263</span></div> </div> <div class="portlet" id="yw16"> <div class="portlet-decoration"> <div class="portlet-title"><i class="icon icon-gift"></i> Advertisment</div> </div> <div class="portlet-content"> <div align="center"> <div id="12717-20"><script src="//ads.themoneytizer.com/s/gen.js?type=20"></script><script src="//ads.themoneytizer.com/s/requestform.js?siteId=12717&formatId=20" ></script></div> </div> <!-- <div align="center"> <script async src="//pagead2.googlesyndication.com/pagead/js/adsbygoogle.js"></script> --> <!-- SideBar --> <!-- <ins class="adsbygoogle" style="display:block" data-ad-client="ca-pub-6743617430731451" data-ad-slot="4936824121" data-ad-format="auto"></ins> <script> (adsbygoogle = window.adsbygoogle || []).push({}); </script> </div> --> </div> </div> </div> </div><!--/span--> </div><!--/row--> </div> </section> <!-- Require the footer --> <footer> <div class="subnav navbar"> <div class="navbar-inner"> <div class="container"> <a href="/conferences">4,996</a> Conferences | <a href="/journals">1,182</a> Journals | <a href="/researchers">71,405</a> Researchers | 445,388,079 PV <br/> Copyright © 2011-2025 myhuiban.com. All Rights Reserved. <a href="/researcher/1">About Us</a> | <a target="_blank" href="https://www.facebook.com/myhuiban/">Facebook</a> | <a target="_blank" href="https://x.com/myhuiban">X</a> | <a href=mailto:admin@myhuiban.com>Post CFP or Contact Us</a> | <a href="/promotion">Promotion</a> </div> </div> </div> </footer> <script type="text/javascript" src="/assets/478ca885/gridview/jquery.yiigridview.js"></script> <script type="text/javascript"> /*<![CDATA[*/ jQuery(function($) { jQuery('#yw3').yiiGridView({'ajaxUpdate':['yw3'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}'}); jQuery('#yw5').yiiGridView({'ajaxUpdate':['yw5'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); jQuery('#yw6').yiiGridView({'ajaxUpdate':['yw6'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); jQuery('#yw8').yiiGridView({'ajaxUpdate':['yw8'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); jQuery('#yw9').yiiGridView({'ajaxUpdate':['yw9'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); jQuery('#yw12').yiiGridView({'ajaxUpdate':['yw12'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); jQuery('#yw14').yiiGridView({'ajaxUpdate':['yw14'],'ajaxVar':'ajax','pagerClass':'pager','loadingClass':'grid-view-loading','filterClass':'filters','tableClass':'table table-hover table-striped table-bordered table-condensed','selectableRows':1,'enableHistory':false,'updateSelector':'{page}, {sort}','filterSelector':'{filter}','pageVar':'page'}); }); /*]]>*/ </script> </body> </html>

Pages: 1 2 3 4 5 6 7 8 9 10