Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- satisfiability 14 Treffer
- artificial intelligence 11 Treffer
- computer science 11 Treffer
- computational theory and mathematics 10 Treffer
- conjunctive normal form 10 Treffer
-
45 weitere Werte:
- software 10 Treffer
- mathematics 9 Treffer
- resolution 6 Treffer
- sat 6 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 6 Treffer
- algorithm 5 Treffer
- boolean circuits 5 Treffer
- boolean satisfiability 5 Treffer
- knowledge compilation 5 Treffer
- preprocessing 5 Treffer
- problem structure 5 Treffer
- variable elimination 5 Treffer
- applied sciences 4 Treffer
- cognition 4 Treffer
- computational complexity 4 Treffer
- computer science; control theory; systems 4 Treffer
- decision making 4 Treffer
- exact sciences and technology 4 Treffer
- experimental evaluation 4 Treffer
- formula cnf 4 Treffer
- formule cnf 4 Treffer
- informatique 4 Treffer
- informatique theorique 4 Treffer
- informatique; automatique theorique; systemes 4 Treffer
- mathematical formulas 4 Treffer
- satisfactibilidad 4 Treffer
- satisfiabilite 4 Treffer
- sciences appliquees 4 Treffer
- sciences exactes et technologie 4 Treffer
- superposition 4 Treffer
- theorem proving 4 Treffer
- theoretical computing 4 Treffer
- algorithmics. computability. computer arithmetics 3 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 3 Treffer
- constraint satisfaction 3 Treffer
- discrete mathematics 3 Treffer
- dissolution 3 Treffer
- hardness 3 Treffer
- infrastructure (economics) 3 Treffer
- literal (mathematical logic) 3 Treffer
- logica proposicional 3 Treffer
- logique propositionnelle 3 Treffer
- proof system 3 Treffer
- propositional logic 3 Treffer
- satisfaccion restriccion 3 Treffer
Verlag
Sprache
104 Treffer
-
In: Journal of Automated Reasoning, 2017-02-17, S. 1-20Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 49 (2012-12-01), Heft 4, S. 583-619Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 43 (2009-12-01), Heft 4, S. 337-362Online academicJournalZugriff:
-
In: JOURNAL OF AUTOMATED REASONING, Jg. 28 (2002), Heft 4, S. 417-434Online serialPeriodicalZugriff:
-
In: JOURNAL OF AUTOMATED REASONING, Jg. 21 (1998), Heft 2, S. 177-203Online serialPeriodicalZugriff:
-
In: Journal of Automated Reasoning, Jg. 18 (1997-06-01), Heft 3, S. 337-356Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 49 (2011-11-03), S. 583-619Online unknownZugriff:
-
In: Journal of automated reasoning, Jg. 52 (2014), Heft 1, S. 31-65Online academicJournalZugriff:
-
In: Journal of automated reasoning, Jg. 51 (2013), Heft 3, S. 325-356Online academicJournalZugriff:
-
In: Journal of automated reasoning, Jg. 50 (2013), Heft 1, S. 1-49Online academicJournalZugriff:
-
In: Special Issue on Selected Extended Papers of CADE-23, Jg. 51 (2013), Heft 1, S. 79-108Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 66 (2022-05-01), Heft 2, S. 239-274Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 43 (2009-12-01), Heft 4, S. 337-362Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 35 (2005-10-06), Heft 1-3, S. 89-95Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 35 (2005-10-06), Heft 1-3, S. 89-95Online serialPeriodicalZugriff:
-
In: Journal of Automated Reasoning, Jg. 58 (2017), Heft 1, S. 97-125Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 48 (2012-03-01), Heft 3, S. 391-417Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 28 (2002-02-01), Heft 2, S. 173-204Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 22 (1999-02-01), Heft 2, S. 149-170Online academicJournalZugriff:
-
In: Journal of Automated Reasoning, Jg. 37 (2006-11-15), Heft 4, S. 231-260Online serialPeriodicalZugriff: