Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

DAM
2006

favoriteEmaildiscussreport

78views more DAM 2006»

A competitive and cooperative approach to propositional satisfiability

13 years 4 months ago

A competitive and cooperative approach to propositional satisfiability

Download kaminari.scitec.kobe-u.ac.jp

Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito S

Real-time Traffic

DAM 2006 |

claim paper

Related Content

» Satisfiability and Computing van der Waerden Numbers

» A General Framework for Multiagent Search with Individual and Global Goals Stakeholder Sea...

» DATALOG with Constraints An AnswerSet Programming System

» Adaptive Clause Weight Redistribution

Post Info
More Details (n/a)

Added	11 Dec 2010
Updated	11 Dec 2010
Type	Journal
Year	2006
Where	DAM
Authors	Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura

Comments (0)