News

Best Paper Award at The 6th International Workshop on Smart Wireless Communications (SmartCom 2019)

• Tomoki Takahashi, Tomio Kamada, Chikara Ohta, Naoyuki Tamura, Taka Maeno: Joint Channel and AP/STA Assignment for Infrastructure-Mode IEEE 802.11 Multi-Interface Wireless Mesh Networks

Sugar is used in the following very interesting paper.

• Simson Garfinkel, John M. Abowd, Christian Martindale: Understanding Database Reconstruction Attacks on Public Data. Communications of the ACM, March 2019, Vol. 62 No. 3, Pages 46-53.

Takehide Soh's sCOP won in two categories (sequential CSP and parallel CSP) at an international CSP solver competition (XCSP18).

• http://www.cril.univ-artois.fr/XCSP18/files/resultsXCSP3-18.pdf

We held 10th CSPSAT Seminar in Kobe. Thanks for the speakers and attendees.

IEEE-ICTAI 2016 will be held on November 7-9 in San Jose, USA. I will serve as a PC member for constraint programming and satisfiability.

Donald Knuth's new book is arrived! Our works are refereed in pages 100, 171, 264, 267, and 268. The order encoding is explained in pages 98–101, 114, 120, 170–173, 190, 268, and 281.

• The Art of Computer Programming, Volume 4, Fascicle 6: Satisfiability (Amazon)

We released the following softwares.

• Diet-Sugar

• iSAT Library

I received the check from Professor Donald Knuth! Wow!

• The Art of Computer Programming, Volume 4, Fascicle 6: Satisfiability (Amazon)

IEEE-ICTAI 2015 Special Track on SAT and CSP technologies will be held on November 9-11 2015 in Vietri sul Mare, Italy. I will serve as a PC member.

ACM SAC 2015 will be held on April 13-17, 2015 in Salamanca, Spain. I will serve as a PC member of the Track on Constraint Solving and Programming and Knowledge Representation and Reasoning.

IEEE-ICTAI 2014 Special Track on SAT and CSP technologies will be held on November 10-12 2014 in Chyprus. I will serve as a PC member.

ECAI 2014 will be held on August 18-22, 2014 in Prague, Czech Republic. I will serve as a Senior PC member.

PoS 2014 workshop will be held on July 13, 2014 in Vienna during the Vienna Summer of Logic. I will serve as a PC member.

FLOPS 2014 will be held on June 4-6, 2014 in Kanazawa, Japan. I will serve as a SC chair.

ACM SAC 2014 will be held on March 24-28, 2014 in Gyeongju, Korea. I will serve as a PC member of the Track on Constraint Solving and Programming.

LPAR 19 will be held on December 15-19, 2013 in Stellenbosch, South Africa. I will serve as a PC member.

Recently, I found a web page http://www.luschny.de/math/rulers/PrimeRulers.html by Peter Luschny in which he mentioned to my article "Complete List of Prime Number Rulers". Prime number ruler of length 18 is originally invented by the Institute of Fuben-eki System (organized by Hiroshi Kawakami of Kyoto University). A sequence of possible lengths of minimal prime number rulers is registered as A227956 of the On-Line Encyclopedia of Integer Sequences.

IEEE-ICTAI 2013 Special Track on SAT and CSP technologies will be held on November 4-6 2013 in Washington DC, USA. I will serve as a PC member.

GlueMiniSat solver developmed by Hidetomo Nabeshima (Yamanashi University) won the silver medal in "Sequential, Application, Certified UNSAT" track at SAT Competition 2013. Hidetomo Nabeshima is a core member of CSPSAT project.

QMaxSAT solver by Miyuki Koshimura (Hasegawa Laboratory, Kyushu University) won the silver medal in Partial Max-SAT Industrial category at Eighth Max-SAT Evaluation. Miyuki Koshimura was a core memeber of CSPSAT project.

SAT 2013 conference will be held on July 8-12, 2013 in Helsinki, Finland. I will serve as a PC member.

PoS 2013 workshop will be held on July 8, 2013 in Helsinki, Finland. I will serve as a PC member.

Hiroshi Fujita (Hasegawa Laboratory, Kyushu University) updated the lower bound of Ramsey Number to 58 by using SAT technology (http://opal.inf.kyushu-u.ac.jp/~fujita/ramsey.html). Hiroshi Fujita was a core memeber of CSPSAT project.

First release of Scarab: A Rapid Prototyping Tool for SAT-based Constraint Programming Systems

First release of PBSugar: A SAT-based Pseudo-Boolean Solver

QMaxSAT solver by Miyuki Koshimura (Hasegawa Laboratory, Kyushu University) became the winner in Partial Max-SAT Industrial and Crafted categories at Seventh Max-SAT Evaluation. Miyuki Koshimura was a core memeber of CSPSAT project.

ShinMaxSat solver by Kengo Honjo and Tomoya Tanjo ranked second in Partial Weighted Max-SAT Crafted category at Seventh Max-SAT Evaluation. They were members of our project.

We organized Eleventh International Symposium on Functional and Logic Programming (FLOPS 2012).

Prolog Cafe is used as a tool within Gerrit (Release notes for Gerrit 2.2.2). Gerrit is a web based code review system, and it is used in many software development projects, such as Android.

GlueMiniSat solver developmed by Hidetomo Nabeshima (Yamanashi University) became the winner in UNSAT Application category, and was ranked second in SAT+UNSAT Application category and UNSAT Application category (multicore track) at SAT competition 2011. Hidetomo Nabeshima is a core member of CSPSAT project.

QMaxSAT solver by Miyuki Koshimura (Hasegawa Laboratory, Kyushu University) became the winner in Partial Max-SAT Industrial category and was ranked second in Crafted category at Sixth Max-SAT Evaluation. Miyuki Koshimura was a core memeber of CSPSAT project.

QMaxSAT solver by Miyuki Koshimura (Hasegawa Laboratory, Kyushu University) became the winner in Partial Max-SAT Industrial category and was ranked second in Crafted category at Fifth Max-SAT Evaluation. Miyuki Koshimura was a core memeber of CSPSAT project.

I made an invited talk on Sugar at CICLOPS-WLPE 2010 (slide).

I made an invited talk on Sugar at FLOPS 2010 (slide).

Sugar became the winner in 3 categories at the 2009 International CSP Solver Competition. See the results page for more details.

Sugar became the winner in 4 categories at the 2008 International CSP and Max-CSP Solver Competitions. See the results page for more details.