Repositorios 4

Decision theory 8 ALL-SAT 6 Automata composition 6 Boolean functions 6 Conjunctive normal forms 6 FSA intersection 6 Finite state 6 Propositional satisfiability 6 Regular expressions 6 Running time 6 SAT solvers 6 Several variables 6 State-of-the-art performance 6 Animals 4 Behavior, Animal 4 Benchmarking 4 Choice Behavior 4 Clause learning 4 Conditioning, Operant 4 Construction approaches 4 Decision-making 4 Finite automata 4 Humans 4 Intersection grammars (FSIG) 4 Learning 4 Memory 4 Model counting 4 Models, Psychological 4 Models, Theoretical 4 Optimal foraging 4