WANCE: Learnt Clause Evaluation Method for SAT Solver Using Graph Structure.

Mary Inaba 稲葉真理 University of Tokyo, Department of Information Science, Tokyo, Japan http://akashi.ci.i.u-tokyo.ac.jp/mary/ https://www.s.u-tokyo.ac.jp/en/people/inaba_mary/ https://www.wikidata.org/entity/Q117281882 Yoichiro Iida Tomohiro Sonobe Mary Inaba WANCE: Learnt Clause Evaluation Method for SAT Solver Using Graph Structure. 190-204 2024 LION https://doi.org/10.1007/978-3-031-75623-8_15 conf/lion/2024 db/conf/lion/lion2024.html#IidaSI24 streams/conf/lion Yoichiro Iida Tomohiro Sonobe Mary Inaba Parallel Clause Sharing Strategy Based on Graph Structure of SAT Problem. 17:1-17:18 2024 SAT https://doi.org/10.4230/LIPIcs.SAT.2024.17 conf/sat/2024 db/conf/sat/sat2024.html#IidaSI24 Yoichiro Iida Tomohiro Sonobe Mary Inaba Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract). 16236-16237 2023 AAAI https://doi.org/10.1609/aaai.v37i13.26978 conf/aaai/2023 db/conf/aaai/aaai2023.html#IidaSI23 Yoichiro Iida Tomohiro Sonobe Mary Inaba Unleashing the Potential of Restart by Detecting the Search Stagnation. 599-613 2023 LION https://doi.org/10.1007/978-3-031-44505-7_40 conf/lion/2023 db/conf/lion/lion2023.html#IidaSI23 Yoichiro Iida Tomohiro Sonobe Mary Inaba An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems. 46-58 2023 POS@SAT https://ceur-ws.org/Vol-3545/paper4.pdf conf/sat/2023pos db/conf/sat/pos2023.html#IidaSI23 Yoichiro Iida Tomohiro Sonobe Mary Inaba Diversification of Parallel Search of Portfolio SAT Solver by Search Similarity Index. 61-74 2022 PRICAI (1) https://doi.org/10.1007/978-3-031-20862-1_5 conf/pricai/2022-1 db/conf/pricai/pricai2022-1.html#IidaSI22

Kenichi Koizumi Peter Eades Kei Hiraki Mary Inaba BJR-tree: fast skyline computation algorithm using dominance relation-based tree structure. 17-34 2019 7 Int. J. Data Sci. Anal. 1 https://doi.org/10.1007/s41060-018-0098-x db/journals/ijdsa/ijdsa7.html#KoizumiEHI19

Kaneharu Nishino Hiroshi Tezuka Mary Inaba Toward Shareable Multi-abstraction-level Feature Extractor Based on a Bayesian Network. 67-78 2019 CORES https://doi.org/10.1007/978-3-030-19738-4_8 conf/cores/2019 db/conf/cores/cores2019.html#NishinoTI19 Kenichi Koizumi Kei Hiraki Mary Inaba Skyline Computation for Low-Latency Image-Activated Cell Identification. 2018 AAAI https://doi.org/10.1609/aaai.v32i1.12134 conf/aaai/2018 db/conf/aaai/aaai2018.html#KoizumiHI18 8101-8102 Kaneharu Nishino Mary Inaba Constructing Hierarchical Bayesian Networks With Pooling. 2018 AAAI https://doi.org/10.1609/aaai.v32i1.12191 conf/aaai/2018 db/conf/aaai/aaai2018.html#NishinoI18 8125-8126 Kenichi Koizumi Kei Hiraki Mary Inaba Continuous Skyline Computation Accelerator with Parallelizing Dominance Relation Calculations: (Abstract Only). 285 2018 FPGA https://doi.org/10.1145/3174243.3174961 conf/fpga/2018 db/conf/fpga/fpga2018.html#KoizumiHI18 Kenichi Koizumi Peter Eades Kei Hiraki Mary Inaba BJR-Tree: Fast Skyline Computation Algorithm for Serendipitous Searching Problems. 272-282 2017 DSAA https://doi.org/10.1109/DSAA.2017.15 conf/dsaa/2017 db/conf/dsaa/dsaa2017.html#KoizumiEHI17 Reiji Hatsugai Mary Inaba Robust Reinforcement Learning with a Stochastic Value Function. 519-526 2017 MOD https://doi.org/10.1007/978-3-319-72926-8_43 conf/mod/2017 db/conf/mod/mod2017.html#HatsugaiI17 Seongsoo Moon Mary Inaba Boost SAT Solver with Hybrid Branching Heuristic. 56-63 2017 SOCS https://doi.org/10.1609/socs.v8i1.18422 conf/socs/2017 db/conf/socs/socs2017.html#MoonI17 Kaneharu Nishino Mary Inaba Bayesian AutoEncoder: Generation of Bayesian Networks with Hidden Nodes for Features. 4244-4245 2016 AAAI https://doi.org/10.1609/aaai.v30i1.9952 conf/aaai/2016 db/conf/aaai/aaai2016.html#NishinoI16 Seongsoo Moon Mary Inaba Dynamic Strategy to Diversify Search Using a History Map in Parallel Solving. 260-266 2016 LION https://doi.org/10.1007/978-3-319-50349-3_21 conf/lion/2016 db/conf/lion/lion2016.html#MoonI16 Kaneharu Nishino Mary Inaba Feature Extraction Based on Generating Bayesian Network. 255-262 2015 ICONIP (4) https://doi.org/10.1007/978-3-319-26561-2_31 conf/iconip/2015-4 db/conf/iconip/iconip2015-4.html#NishinoI15 Kenichi Koizumi Mary Inaba Kei Hiraki Efficient implementation of continuous skyline computation on a multi-core processor. 52-55 2015 MEMOCODE https://doi.org/10.1109/MEMCOD.2015.7340468 conf/memocode/2015 db/conf/memocode/memocode2015.html#KoizumiIH15 Tomohiro Sonobe Shuya Kondoh Mary Inaba Community Branching for Parallel Portfolio SAT Solvers. 188-196 2014 SAT https://doi.org/10.1007/978-3-319-09284-3_14 conf/sat/2014 db/conf/sat/sat2014.html#SonobeKI14 Tomohiro Sonobe Mary Inaba Portfolio with Block Branching for Parallel SAT Solvers. 247-252 2013 LION https://doi.org/10.1007/978-3-642-44973-4_25 conf/lion/2013 db/conf/lion/lion2013.html#SonobeI13 Yasuo Ishii Mary Inaba Kei Hiraki Unified memory optimizing architecture: memory subsystem control with a unified predictor. 267-278 2012 ICS https://doi.org/10.1145/2304576.2304614 conf/ics/2012 db/conf/ics/ics2012.html#IshiiIH12 Tomohiro Sonobe Mary Inaba Counter Implication Restart for Parallel SAT Solvers. 485-490 2012 LION https://doi.org/10.1007/978-3-642-34413-8_49 conf/lion/2012 db/conf/lion/lion2012.html#SonobeI12

Yasuo Ishii Mary Inaba Kei Hiraki Access Map Pattern Matching for High Performance Data Cache Prefetch. 2011 13 J. Instr. Level Parallelism http://www.jilp.org/vol13/v13paper3.pdf db/journals/jilp/jilp13.html#IshiiIH11

Junichiro Makino Hiroshi Daisaka Toshiyuki Fukushige Yutaka Sugawara Mary Inaba Kei Hiraki The performance of GRAPE-DR for dense matrix operations. 888-897 2011 conf/iccS/2011 ICCS https://doi.org/10.1016/j.procs.2011.04.094 db/journals/procedia/procedia4.html#MakinoDFSIH11 Hisanobu Tomari Mary Inaba Kei Hiraki Compressing Floating-Point Number Stream for Numerical Applications. 112-119 2010 ICNC https://doi.org/10.1109/IC-NC.2010.24 https://doi.ieeecomputersociety.org/10.1109/IC-NC.2010.24 conf/ic-nc/2010 db/conf/ic-nc/ic-nc2010.html#TomariIH10 Yasuo Ishii Mary Inaba Kei Hiraki Access map pattern matching for data cache prefetch. 499-500 2009 ICS https://doi.org/10.1145/1542275.1542349 conf/ics/2009 db/conf/ics/ics2009.html#IshiiIH09 Naoki Tanida Mary Inaba Kei Hiraki Takeshi Yoshino Hardware Accelerator for Full-Text Search (HAFTS) with Succinct Data Structure. 155-160 2009 ReConFig https://doi.org/10.1109/ReConFig.2009.74 https://doi.ieeecomputersociety.org/10.1109/ReConFig.2009.74 conf/reconfig/2009 db/conf/reconfig/reconfig2009.html#TanidaIHY09 Kenichi Koizumi Mary Inaba Kei Hiraki Yasuo Ishii Takefumi Miyoshi Kazuki Yoshizoe Triple Line-Based Playout for Go - An Accelerator for Monte Carlo Go. 161-166 2009 ReConFig https://doi.org/10.1109/ReConFig.2009.75 https://doi.ieeecomputersociety.org/10.1109/ReConFig.2009.75 conf/reconfig/2009 db/conf/reconfig/reconfig2009.html#KoizumiIHIMY09 Hiroshige Hayashizaki Yutaka Sugawara Mary Inaba Kei Hiraki MCAMP: communication optimization on massively parallel machines with hierarchical scratch-pad memory. 102-111 2008 PACT https://doi.org/10.1145/1454115.1454132 https://ieeexplore.ieee.org/document/7849435/ conf/IEEEpact/2008 db/conf/IEEEpact/pact2008.html#HayashizakiSIH08 Yasuhiro Ito Yutaka Sugawara Mary Inaba Kei Hiraki CVC: The C to RTL compiler for callback-based verification model. 499-502 2008 FPL https://doi.org/10.1109/FPL.2008.4629993 conf/fpl/2008 db/conf/fpl/fpl2008.html#ItoSIH08 Yutaka Sugawara Takeshi Yoshino Hiroshi Tezuka Mary Inaba Kei Hiraki Effect of Packet Shuffler on Parallel TCP Stream Network. 180-185 2008 ICN https://doi.org/10.1109/ICN.2008.70 https://doi.ieeecomputersociety.org/10.1109/ICN.2008.70 conf/icn/2008 db/conf/icn/icn2008.html#SugawaraYTIH08 Yutaka Sugawara Takeshi Yoshino Hiroshi Tezuka Mary Inaba Kei Hiraki Effect of Parallel TCP Stream Equalizer on Real Long Fat-pipe Network. 279-282 2008 NCA https://doi.org/10.1109/NCA.2008.50 https://doi.ieeecomputersociety.org/10.1109/NCA.2008.50 conf/nca/2008 db/conf/nca/nca2008.html#SugawaraYTIH08 Takeshi Yoshino Yutaka Sugawara Katsushi Inagami Junji Tamatsukuri Mary Inaba Kei Hiraki Performance optimization of TCP/IP over 10 gigabit ethernet by precise instrumentation. 11 2008 SC https://doi.org/10.1109/SC.2008.5215913 https://doi.ieeecomputersociety.org/10.1109/SC.2008.5215913 https://dl.acm.org/citation.cfm?id=1413382 conf/sc/2008 db/conf/sc/sc2008.html#YoshinoSITIH08 Yutaka Sugawara Mary Inaba Kei Hiraki Flow Balancing Hardware for Parallel TCP Streams on Long Fat Pipe Network. 391-396 2007 FGCN (1) https://doi.org/10.1109/FGCN.2007.130 https://doi.ieeecomputersociety.org/10.1109/FGCN.2007.130 conf/fgcn/2007 db/conf/fgcn/fgcn2007.html#SugawaraIH07 Junichiro Makino Kei Hiraki Mary Inaba GRAPE-DR: 2-Pflops massively-parallel computer with 512-core, 512-Gflops processor chips for scientific computing. 18 2007 SC https://doi.org/10.1145/1362622.1362647 conf/sc/2007 db/conf/sc/sc2007.html#MakinoHI07 Mary Inaba Kei Hiraki Network Processing Hardware. 103-112 2006 conf/aintec/2006 AINTEC https://doi.org/10.1007/11930181_8 db/conf/aintec/aintec2006.html#InabaH06 Yutaka Sugawara Mary Inaba Kei Hiraki High-speed and Memory Efficient TCP Stream Scanning using FPGA. 45-50 2005 conf/fpl/2005 FPL db/conf/fpl/fpl2005.html#SugawaraIH05 https://doi.org/10.1109/FPL.2005.1515697 https://doi.ieeecomputersociety.org/10.1109/FPL.2005.1515697 Yutaka Sugawara Mary Inaba Kei Hiraki Over 10Gbps String Matching Mechanism for Multi-stream Packet Scanning Systems. 484-493 https://doi.org/10.1007/978-3-540-30117-2_50 2004 conf/fpl/2004 FPL db/conf/fpl/fpl2004.html#SugawaraIH04 Makoto Nakamura Hiroyuki Kamezawa Junji Tamatsukuri Mary Inaba Kei Hiraki K. Mizuguchi K. Torii S. Nakano Shizuo Yoshita Ryutaro Kurusu Masakazu Sakamoto Yuki Furukawa Takeshi Yanagisawa Yukichi Ikuta J. Shitami Akira Zinzaki Long Fat Pipe Congestion Control for Multi-Stream Data Transfer. 294-299 2004 conf/ispan/2004 ISPAN https://doi.org/10.1109/ISPAN.2004.1300495 https://doi.ieeecomputersociety.org/10.1109/ISPAN.2004.1300495 db/conf/ispan/ispan2004.html#NakamuraKTIHMTNYKSFYISZ04 Tsuyoshi Ito Mary Inaba Theoretical Analysis of Performances of TCP/IP Congestion Control Algorithm with Different Distances. 962-973 https://doi.org/10.1007/978-3-540-24693-0_79 2004 conf/networking/2004 NETWORKING db/conf/networking/networking2004.html#ItoI04 Hiroyuki Kamezawa Makoto Nakamura Junji Tamatsukuri Nao Aoshima Mary Inaba Kei Hiraki Inter-Layer Coordination for Parallel TCP Streams on Long Fat Pipe Networks. 24 2004 conf/sc/2004 SC https://doi.org/10.1109/SC.2004.31 https://doi.ieeecomputersociety.org/10.1109/SC.2004.31 http://dl.acm.org/citation.cfm?id=1049968 db/conf/sc/sc2004.html#KamezawaNTAIH04 Kei Hiraki Mary Inaba Junji Tamatsukuri Ryutaro Kurusu Yukichi Ikuta Hisashi Koga Akira Zinzaki Data Reservoir: A New Approach to Data-Intensive Scientific Computation. 269-274 https://doi.org/10.1109/ISPAN.2002.1004293 https://doi.ieeecomputersociety.org/10.1109/ISPAN.2002.1004293 2002 conf/ispan/2002 ISPAN db/conf/ispan/ispan2002.html#HirakiITKIKZ02 Kei Hiraki Mary Inaba Junji Tamatsukuri Ryutaro Kurusu Yukichi Ikuta Hisashi Koga Akira Zinzaki Data Reservoir: utilization of multi-gigabit backbone network for data-intensive research. 18:1-18:9 2002 conf/sc/2002 SC https://doi.org/10.1109/SC.2002.10001 https://doi.ieeecomputersociety.org/10.1109/SC.2002.10001 http://dl.acm.org/citation.cfm?id=762826 db/conf/sc/sc2002.html#HirakiITKIKZ02 Mary Inaba Hiroshi Imai Finding k-Closest-Pairs Efficiently for High Dimensional Data. 2000 conf/cccg/2000 CCCG http://www.cccg.ca/proceedings/2000/48.ps.gz db/conf/cccg/cccg2000.html#InabaI00 Mary Inaba Hiroshi Imai Geometric clustering models for multimedia databases. 1998 conf/cccg/1998 CCCG http://cgm.cs.mcgill.ca/cccg98/proceedings/cccg98-inaba-geometric.ps.gz db/conf/cccg/cccg1998.html#InabaI98 Kunihiko Sadakane Hiroshi Imai Kensuke Onishi Mary Inaba Fumihiko Takeuchi Keiko Imai Voronoi Diagrams by Divergences with Additive Weights. 403-404 1998 conf/compgeom/1998 SCG https://doi.org/10.1145/276884.276929 db/conf/compgeom/compgeom98.html#SadakaneIOITI98 Mary Inaba Hiroshi Imai Geometric Clustering Models in Feature Space. 421-422 https://doi.org/10.1007/3-540-49292-5_51 1998 conf/dis/1998 Discovery Science db/conf/dis/dis98.html#InabaI98 Mary Inaba Hiroshi Imai Motoki Nakade Tatsurou Sekiguchi Application of an Effective Geometric Clustering Method to the Color Quantization Problem. 477-478 1997 conf/compgeom/1997 SCG https://doi.org/10.1145/262839.263095 db/conf/compgeom/compgeom97.html#InabaINS97 Mary Inaba Hiroshi Imai Naoki Katoh Experimental Results of Randomized Clustering Algorithm. C-1-C-2 1996 conf/compgeom/1996 SCG https://doi.org/10.1145/237218.237406 db/conf/compgeom/compgeom96.html#InabaIK96 Tsuyoshi Ono Yoshiaki Kyoda Tomonari Masada Kazuyoshi Hayase Tetsuo Shibuya Motoki Nakade Mary Inaba Hiroshi Imai Keiko Imai David Avis A Package for Triangulations. V-17-V-18 1996 conf/compgeom/1996 SCG https://doi.org/10.1145/237218.237430 db/conf/compgeom/compgeom96.html#OnoKMHSNIIIA96 Mary Inaba Yasukazu Aoki Susumu Hasegawa Level Difference of the Reconstructed Arrangement. 12-17 1994 conf/cccg/1994 CCCG db/conf/cccg/cccg1994.html#InabaAH94 Mary Inaba Naoki Katoh Hiroshi Imai Applications of Weighted Voronoi Diagrams and Randomization to Variance-Based <i>k</i>-Clustering (Extended Abstract). 332-339 1994 conf/compgeom/1994 SCG https://doi.org/10.1145/177424.178042 https://www.wikidata.org/entity/Q56583344 db/conf/compgeom/compgeom94.html#InabaKI94 Yasukazu Aoki Nao Aoshima David Avis Hiroshi Daisaka Peter Eades Toshiyuki Fukushige Yuki Furukawa Susumu Hasegawa Reiji Hatsugai Kazuyoshi Hayase Hiroshige Hayashizaki Kei Hiraki Yoichiro Iida Yukichi Ikuta Hiroshi Imai Keiko Imai Katsushi Inagami Yasuo Ishii Tsuyoshi Ito Yasuhiro Ito Hiroyuki Kamezawa Naoki Katoh Hisashi Koga Kenichi Koizumi Shuya Kondoh Ryutaro Kurusu Yoshiaki Kyoda Junichiro Makino Tomonari Masada Takefumi Miyoshi K. Mizuguchi Seongsoo Moon Motoki Nakade Makoto Nakamura S. Nakano Kaneharu Nishino Kensuke Onishi Tsuyoshi Ono Kunihiko Sadakane Masakazu Sakamoto Tatsurou Sekiguchi Tetsuo Shibuya J. Shitami Tomohiro Sonobe Yutaka Sugawara Fumihiko Takeuchi Junji Tamatsukuri Naoki Tanida Hiroshi Tezuka Hisanobu Tomari K. Torii Takeshi Yanagisawa Takeshi Yoshino Shizuo Yoshita Kazuki Yoshizoe Akira Zinzaki