The following pages link to Gábor Kusper (Q1777397):
Displayed 16 items.
- Solving the resolution-free SAT problem by submodel propagation in linear time (Q1777398) (← links)
- (Q2908999) (← links)
- (Q3077200) (← links)
- (Q3499333) (← links)
- (Q3580786) (← links)
- (Q3580801) (← links)
- (Q4790579) (← links)
- (Q4813007) (← links)
- Introducing w-Horn and z-Horn: A generalization of Horn and q-Horn formulae (Q5065318) (← links)
- Somek-hop based graph metrics and noderanking in wireless sensor networks (Q5217948) (← links)
- SAT representation of randomly deployed Wireless Sensor Networks (Q5369826) (← links)
- Equivalence of strongly connected graphs and black-and-white 2-SAT problems (Q5379589) (← links)
- (Q5851844) (← links)
- (Q5851879) (← links)
- Experiments with automated reasoning in the class (Q6102980) (← links)
- Using extended resolution to represent strongly connected components of directed graphs (Q6119577) (← links)