Paper Abstract and Keywords |
Presentation |
2021-01-27 15:00
Speeding up combinatorial optimization solver CombSQL+ by introducing Pseudo-Boolean constraints Junichiro Kishi, Masahiko Sakai, Naoki Nishida, Kenji Hashimoto (Nagoya univ.) MSS2020-40 SS2020-25 |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
The authors have proposed a solver CombSQL+ for combinatorial optimization problems (COPs) described in extended SQL language. The system generates QFLIA constraints by executing an SQL query transformed from an input description, and then solves them by an SMT solver. This report proposes an improvement of the system to generate constraints in pseudo-Boolean forms if possible. We report that the enhancement accelerates more than seven times faster for a problem. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
Combinatorial optimization / SQL / SAT / SMT / pseudo-Boolean constraint / / / |
Reference Info. |
IEICE Tech. Rep., vol. 120, no. 343, SS2020-25, pp. 66-71, Jan. 2021. |
Paper # |
SS2020-25 |
Date of Issue |
2021-01-19 (MSS, SS) |
ISSN |
Online edition: ISSN 2432-6380 |
Copyright and reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Download PDF |
MSS2020-40 SS2020-25 |
Conference Information |
Committee |
MSS SS |
Conference Date |
2021-01-26 - 2021-01-27 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
Online |
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
|
Paper Information |
Registration To |
SS |
Conference Code |
2021-01-MSS-SS |
Language |
Japanese |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
Speeding up combinatorial optimization solver CombSQL+ by introducing Pseudo-Boolean constraints |
Sub Title (in English) |
|
Keyword(1) |
Combinatorial optimization |
Keyword(2) |
SQL |
Keyword(3) |
SAT |
Keyword(4) |
SMT |
Keyword(5) |
pseudo-Boolean constraint |
Keyword(6) |
|
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Junichiro Kishi |
1st Author's Affiliation |
Nagoya University (Nagoya univ.) |
2nd Author's Name |
Masahiko Sakai |
2nd Author's Affiliation |
Nagoya University (Nagoya univ.) |
3rd Author's Name |
Naoki Nishida |
3rd Author's Affiliation |
Nagoya University (Nagoya univ.) |
4th Author's Name |
Kenji Hashimoto |
4th Author's Affiliation |
Nagoya University (Nagoya univ.) |
5th Author's Name |
|
5th Author's Affiliation |
() |
6th Author's Name |
|
6th Author's Affiliation |
() |
7th Author's Name |
|
7th Author's Affiliation |
() |
8th Author's Name |
|
8th Author's Affiliation |
() |
9th Author's Name |
|
9th Author's Affiliation |
() |
10th Author's Name |
|
10th Author's Affiliation |
() |
11th Author's Name |
|
11th Author's Affiliation |
() |
12th Author's Name |
|
12th Author's Affiliation |
() |
13th Author's Name |
|
13th Author's Affiliation |
() |
14th Author's Name |
|
14th Author's Affiliation |
() |
15th Author's Name |
|
15th Author's Affiliation |
() |
16th Author's Name |
|
16th Author's Affiliation |
() |
17th Author's Name |
|
17th Author's Affiliation |
() |
18th Author's Name |
|
18th Author's Affiliation |
() |
19th Author's Name |
|
19th Author's Affiliation |
() |
20th Author's Name |
|
20th Author's Affiliation |
() |
Speaker |
Author-1 |
Date Time |
2021-01-27 15:00:00 |
Presentation Time |
25 minutes |
Registration for |
SS |
Paper # |
MSS2020-40, SS2020-25 |
Volume (vol) |
vol.120 |
Number (no) |
no.342(MSS), no.343(SS) |
Page |
pp.66-71 |
#Pages |
6 |
Date of Issue |
2021-01-19 (MSS, SS) |
|