1995 search results - page 100 / 399 » What's the Problem |
100
Voted
HEURISTICS
2007
15 years 3 months ago
2007
: In this paper we present, to our knowledge, the first application of a metaheuristic technique to the very popular and NP-complete puzzle known as ‘sudoku’. We see that this ...
124
Voted
JAR
2007
15 years 3 months ago
2007
SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...
148
Voted
TOCL
2008
15 years 3 months ago
2008
Cryptographic protocols with single blind copying were defined and modeled by Comon and Cortier using the new class C of first order clauses, which extends the Skolem class. They s...
126
click to vote
COGSCI
2004
15 years 3 months ago
2004
Johnson-Laird and coworkers' Mental Model theory of propositional reasoning is shown to be somewhere in between what logicians have defined as "credulous" and "...
121
click to vote
ACL
2009
15 years 1 months ago
2009
Can we automatically compose a large set of Wiktionaries and translation dictionaries to yield a massive, multilingual dictionary whose coverage is substantially greater than that...