大学サイト   学部サイト   学科サイト   EnglishPages
 
旧尾家・塚本研究室です.尾家祐二 現・九州工業大学学長の情報は こちら.
   
研究業績


A Comparison of CP, IP, and SAT Solvers Through a Common Interface
著者
  N-F. Zhou, M. Tsuru, E. Nobuyama
 
雑誌名/会議名
  Proc. 24th IEEE Intl Conf on Tools with Artificial Intelligence (ICTAI 2012), 8 pages, Nov 2012. (Athens, Greece) 2012 年 11 月
 
アブストラクト
 
 
キーワード
 
 
記述言語
  English
 
 

web_admin [ at ] infonet.cse.kyutech.ac.jp /  Copyright (c) 2016 Oie & Tsukamoto Laboratory, All Right Reserved.