Abstract: Boolean satisfiability is seeing increasing use as a decision procedure in electronic design automation (EDA) and other domains. Most applications encode their domain specific constraints in ...
go-sat is a pure Go library for solving Boolean satisfiability problems (SAT). Solving SAT problems is at the core of a number of more difficult higher level problems. From hardware/software ...
Face processing in autism spectrum disorder (ASD) is thought to be atypical, but it is unclear whether differences in visual conjunctive processing are specific to faces. To address this, we adapted a ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results