Last of my #CP2025 papers! Today, Allen will present “Towards Modern and Modular SAT for LCG” introduces Huub, an LCG solver that can swap in any SAT engine via the IPASIR-UP interface, unlocking modern SAT advances.
Paper: doi.org/10.4230/LIPI...
Today's paper at #CP2025: Unit Types for #MiniZinc!
Solvers see only integers, but those integers represent very different things. Mixing them up can cause subtle, hard-to-find bugs. Unit types make models safer by distinguishing between resource types, granularities, and delta time.
Next up at #CP2025 🚆
Daniel is presenting our paper “Constraint-Based In-Station Train Dispatching” today!
We show how a constraint modelling approach can plan train movements within stations more efficiently, while the model remains flexible and adaptable.
Paper link: doi.org/10.4230/LIPI...
Kicking off an exciting week at #CP2025!
“Explanations for Hierarchical Neuro-Symbolic AI” is being presented today 🎉 It’s 1 of 4 works I’ve co-authored at CP this year—more coming soon! Huge credit to our PhD student Sushmita Paul for leading the work.
#AI #NeuroSymbolic #ExplainableAI #Research
#香港動漫電玩節2025
お疲れ様でした！ 今回はサークル紫宸策 @edwardapcychu にてお世話になりました🙌会いに＆作品お迎え、交流してくれた皆さんに感謝✨
#ACGHK #cp2025 #acghk2025
next夏コミ8月16-17日AZUREDRAGON
C106 飛×蔵とグエスレとGQuuuuuuX本😎
初日東7 "I " 05ab
2日目東7 "B" 25b
朝の豪雨でバタついて開設ゆるゆる＆サークルさん、リピさんの皆さんとの交流から一旦戻って一息🙌
今日もこれからまだ長いです
最終日それぞれ楽しめることを願って
cp2025的最後一天 各位加油✨
今天也在cq11紫宸策 Xは@edwardapcychu お姉さん癒し系グッズ各種、よしなに
#ACGHK #cp2025 #acghk2025
寝落ちてXだけ昨晩送ってた💦
昨日は#香港動漫電玩節 四日目参戦お疲れ様で🫡
サモさんだったんで出先コスゾーンで父上や母上を見かけて＆お嬢さん達と遊んできたぜ、記念写メ
あざっす！なんかテンションで手元ブレてて🙏嬉しかった＆ありがとな😏なりきり的で
#ACGHK #cp2025 #cp2025goods #acghk2025 ありがとう！スペースCQ11サークル紫宸策様にて
ID交換してた方はレスやDMくれたら助かる！バタバタ🙌後ほど
#香港動漫電玩節 にて主殿と挨拶周りで作品交換会してきた戦利品😏
私は男性、女性向け、百合、評論、音楽、ゲーム、📸も基本OK雑食者なので人の作品は既知も未知の作品も刺激的で大歓迎
#ACGHK #cp2025 #cp2025goods #acghk2025 位置是cq11 サークル紫宸策様にて香港遠征四日目😎
#グエスレ #グス
現在、ゲストさんの熱唱中で聖闘士星矢のペガサスファンタジーが聴こえた中で、シャイナさん写真集持ち込んで一人楽しんでる自分😎たくさんお迎えいただいて嬉しいね😉
#香港動漫電玩節 #聖闘士星矢 #シャイナ
#ACGHK #cp2025 #cp2025goods #acghk2025 位置是cq11 サークル紫宸策様にて
四日目開始の #香港動漫電玩節
今日もサークル紫宸策さんCQ11にてコス売子で参戦✨今日はトゥリファスのモーさん
クラレントは持ち込めなかったけど、よろしくな😎
#ACGHK2025 #CP2025 #香港動漫電玩節2025
昨日の三日目も参戦の皆さんお疲れ様でした！昨日のお疲レポあげ忘れてたので今💦
昨日は朝30分でカット&セット仕上げな急ピッチ3代目スレッタウィッグはベースが良かったおかげでなんとか🙏
#ACGHK2025 #CP2025 #香港動漫電玩節2025 今日と明日もサークル紫宸策さんCQ11にてコス売子で参戦予定✨
昨日のアフターで香港の吉野家でもてなしを受ける日本人、このお返しは来月の夏コミに日本でかな😏
こちらのイベントはカップルさん多いなぁとみていたのですが、なんと5号エラン君とノレア嬢カプレイヤーさんが遊びに来てくれ布教を🙌自分はこの二人も好きなので嬉しいこと、掲載許可を聞き忘れてて、連絡が取れたらレポUPします✨
#ACGHK2025 #CP2025 #香港動漫電玩節2025 #GUNDAM #水星の魔女
撮影に声をかけてくれたり、作品お迎え下さったり、連戦で来てくれた猛者の皆さんに感謝を✨あとずっとweb支援のファンの方にも直に会えて良かった😉ありがとうございます✨香港動漫電玩節3日目の終盤を迎えし、まだ熱気溢れる会場にて
#ACGHK2025 #CP2025 #香港動漫電玩節2025 #coser #GUNDAM #らんま
#ACGHK2025 #CP2025 #香港動漫電玩節2025 3日目 紫宸策CQ11にてコス売子で参戦中✨リクエストで水星狸娘…プロスペラ感抜けないので無理めですが、が、がんばります💦
主サークルでは、私も活用してる姉系キャラおっぱいマウスパッドの新型MSじゃなくて新型パッドができました！なんと6倍の乳圧で重さと愛が比例しています😇各種新作も😆私の懐かし姐キャラコス写真集と飛蔵とグエスレ同人誌も✍️
#japanesecoser
#coser 追伸💦私の視力問題のためカラコンが使えない体質なので加工です。一緒に撮って下さる方はそのままも大丈夫ですが可能ならそこだけやってもらえたら嬉しいです
#ACGHK2025 #CP2025 #香港動漫電玩節2025 3日目きました！
サークル紫宸策 配置CQ11にてコス売子で参戦中✨11:30くらいから
私も活用してる姉系キャラおっぱいマウスパッド各種新作あります😆
懐かし姐御キャラコス写真集と飛×蔵とグエスレ同人誌など（全年齢）🤭🫣
#coser
#ACGHK2025 #CP2025 #香港動漫電玩節2025 2日め参戦完了しました🫡お疲れ様でした。明日もよしなに🙌
サークル紫宸策CQ11にてコス売子で参戦中✨私も活用してる姉系キャラおっぱいマウスパッド各種新作あります😆
懐かし姐御キャラコス写真集と飛×蔵とグエスレ同人誌など（全年齢）🤭🫣
#coser
自サークルAZUREDRAGONでは
8月夏コミ両日＆台湾FF土日、水星オンリー💫飛×蔵、グエスレ本＆コスROMとアメ雑など予定
久しぶりの投稿は、ハッとした香港🇭🇰からイベント参戦中にしてみるテスト😏
【Bcis新刊試閱】擴散感謝！
ACGHK CP2025 Hall3 • CN10
《Dear Replica》
A5膠裝/ 66p / 黑白/ 全年齡
角色及配對： #蜂潔 #bcis （蜂楽廻 x 潔世一）
原作作品：藍色監獄
- 職業選手if，角色死亡有
- BE
#acghk2025 #cp2025 #creativeparadise2025
（1/4）
CP2025將會在CQ11，期待大家屆時到來~
這次主打是ONE PIECE 跟JUMP系及不知火舞，也有一些手遊類x惡搞的精品
We will be at CQ11 in cp2025. Looking forward to see you at there~
今回のCP2025の位置はCQ11です～
#CP2025
地點:
香港會議展覽中心 Hall 3CD
展覽時間:
2025年7月25-28日10:00-21:00
2025年7月29日10:00-20:00
Should also add you can listen to issue 600 tonight at 7p CST on ESPN 97.5 & 92.5 or listen via the new ESPN Houston app! You can download it now in your iOS App Store! The Android version of the app is still under construction right now, so just iPhones for now. #Comicpalooza #CPPodFamily #CP2025
Day 1 (Friday) of @houstoncomicpalooza was a fun time! My cosplay was Ness from Super Smash Bros (alternate outfit). It was my first time attending a Friday for Comicpalooza! Loved seeing my friends! I will post more throughout the week 🔥🤟🏽
#cp2025 #comicpalooza #ness #supersmashbros #humpday
In the top half of the image is a picture from Comicpalooza showcasing (from left to right) Sean Tajipour, Bryan Guanajuato, Chalice Williams, and Michael Carrell. The group are standing behind the Comicpalooza Podcast desk setup on a stage with the Comicpalooza Podcast Program logo behind them. In the bottom half of the image is a picture of the group as they're podcasting live from the event. Along the very bottom of the entire image is small pics of the different movie posters of films they were ranking from Marvel Studios' Multiverse Saga. In the top right corner are the words Issue 600 written out in a yellow/red lettering. In the middle center is the Comicast podcast logo also in yellow/red lettering. Written above the movie posters is "Ranking the MCU's Multiverse Film Saga" in yellow/red lettering.
Issue 600 of #Comicast is out! Myself alongside @heychalice.bsky.social of Reel Movie Junkie, Bryan of the @bryfypodcast.bsky.social, & @seantaj.bsky.social of @nerdtropolis.bsky.social live ranked the #MCU multiverse films but in a fantasy draft style. What could go wrong? #CP2025 #CPPodFamily
@comicpalooza.bsky.social got some rides
#cppodfamily #cp2025
Last one! @pattonoswalt.bsky.social #comicpalooza #cp2025
And Alan Tudyk with my buddy @bluerosetaskforce.bsky.social! #comicpalooza #cp2025 #literallyeverything #clayface
Thanks @hitzhusenlauren.bsky.social for the pics of me at my @comicpalooza.bsky.social panel today! #cp2025
My photo op with Hayden Christensen.
Welp. It is what it is. One down, two more to go. #comicpalooza #cp2025 #haydenchristensen #starwars
