Back to Results
First PageMeta Content
Dyslexia / Ch / Digraph / Fula alphabets / Tok Pisin alphabet / Latin alphabets / Orthography / Linguistics


Identifying k-Majority Digraphs via SAT Solving SAT encoding: general methodology Felix Brandt, Christian Geist and
Add to Reading List

Document Date: 2014-07-31 08:23:30

Open Document

File Size: 922,40 KB

Share Result on Facebook

Company

AAAI Press / IAC / /

IndustryTerm

athe na¨ıve algorithm / theorem search / tournament solutions / nament solutions / /

Person

Georg Bachmeier / Felix Brandt / Hans Georg Seedig / Christian Geist / /

Position

editor / /

ProgrammingLanguage

R / /

PublishedMedium

American Journal of Mathematics / /

Technology

artificial intelligence / athe na¨ıve algorithm / SAT Solving algorithm / 5 9 algorithm / dom / /

SocialTag