Sortiert nach
Lecture notes in computer science, 2006, p.198-211
2006
Link zum Volltext
Discrete Applied Mathematics, 2008-05, Vol.156 (10), p.1606-1622
2008
Link zum Volltext
Lecture notes in computer science, 2006, p.339-352
2006
Link zum Volltext
Discrete Applied Mathematics, 2003-08, Vol.130 (2), p.185-207
2003
Link zum Volltext
Annals of mathematics and artificial intelligence, 2002-12, Vol.36 (4), p.419-435
2002
Link zum Volltext
Discrete Applied Mathematics, 2000-12, Vol.107 (1), p.83-98
2000
Link zum Volltext
Information and computation, 1989, Vol.80 (1), p.18-43
1989
Link zum Volltext
Discrete Applied Mathematics, 1999-10, Vol.96, p.139-148
1999
Link zum Volltext
Annals of mathematics and artificial intelligence, 2005-01, Vol.43 (1-4), p.295-306
2005
Link zum Volltext
Information and computation, 1995-02, Vol.117 (1), p.12-18
1995
Link zum Volltext
Annals of mathematics and artificial intelligence, 2005-01, Vol.43 (1-4), p.113-127
2005
Link zum Volltext
Annals of mathematics and artificial intelligence, 1998-01, Vol.23 (3-4), p.229-245
1998
Link zum Volltext
Computer Science Logic, 2005, p.145-155
2005
Link zum Volltext
Annals of mathematics and artificial intelligence, 1996-01, Vol.18 (2), p.243-260
1996
Link zum Volltext
Discrete Applied Mathematics, 2023-10, Vol.337, p.173-184
2023
Link zum Volltext
Annals of mathematics and artificial intelligence, 2022-10, Vol.90 (10), p.979-998
2022
Link zum Volltext
Discrete Applied Mathematics, 2014-09, Vol.174, p.27-51
2014
Link zum Volltext
Information and computation, 2009-10, Vol.207 (10), p.1044-1077
2009
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Mathematics
- Physical Sciences
- Science & Technology
- Computer Science
- Technology
- Applied Sciences
- Computer Science, Artificial Intelligence
- Exact Sciences And Technology
- Computer Science, Theory & Methods
- Computer Science; Control Theory; Systems
- Propositional Formulas
- Algorithmics. Computability. Computer Arithmetics
- Artificial Intelligence
- Boolean Formula
- Complexity
- Minimal Unsatisfiability
- Propositional Formula
- Theoretical Computing
- Algorithms
Kollektion
Zeitschrift / Serie