Nicola Gigante's user avatar
Nicola Gigante's user avatar
Nicola Gigante's user avatar
Nicola Gigante
  • Member for 8 years, 11 months
  • Last seen this week
7 votes
1 answer
174 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?

4 votes
1 answer
103 views

Building the minimal automaton from the syntactic monoid of a language

3 votes
1 answer
46 views

Complementation of deterministic Streett automata

3 votes
1 answer
75 views

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

2 votes
0 answers
320 views

Test suite for SAT solvers

2 votes
0 answers
40 views

Recurring computations for 2-counter machines

1 vote
1 answer
46 views

CDCL SAT solvers and don't cares

1 vote
0 answers
23 views

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

1 vote
0 answers
19 views

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

1 vote
1 answer
110 views

Counter automata with a bound on the counters?

1 vote
0 answers
17 views

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

1 vote
0 answers
120 views

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

0 votes
0 answers
8 views

Textbooks to study machine learning as a TCS/FM/symbolic AI researcher