gigabytes's user avatar
gigabytes's user avatar
gigabytes's user avatar
gigabytes
  • Member for 7 years, 10 months
  • Last seen this week
7 votes
1 answer
171 views

Is there any published paper about automated planning software used in the ESA Rosetta mission?

5 votes
0 answers
136 views

Has this graph-theoretic problem got a known name? Is it NP-hard?

3 votes
1 answer
60 views

Uses of of the one-variable fragment of first-order logic aka S5

3 votes
1 answer
41 views

Complementation of deterministic Streett automata

3 votes
1 answer
48 views

Building the minimal automaton from the syntactic monoid of a language

2 votes
0 answers
22 views

Recurring computations for 2-counter machines

2 votes
0 answers
99 views

Test suite for SAT solvers

1 vote
0 answers
19 views

Modal logic equivalent to two-variable first-order logic?

1 vote
0 answers
17 views

Good exposition of tableau for first-order logic with equality?

1 vote
1 answer
57 views

Counter automata with a bound on the counters?

1 vote
0 answers
14 views

Has the similarity relation of a tree-shaped labelled transition system have finite index?

1 vote
0 answers
110 views

Suggestion for a good statistics book for computer scientists, in preparation of machine learning

0 votes
0 answers
8 views

State of the art construction of OBDDs