A linear-time algorithm for testing the truth of certain quantified boolean formulas
about
Efficient reconstruction of haplotype structure via perfect phylogeny.Process-driven inference of biological network structure: feasibility, minimality, and multiplicityWhich Phylogenetic Networks are Merely Trees with Additional Arcs?Random walk on lattices: graph-theoretic approach to simulating long-range diffusion-attachment growth models.The scaling window of the 2-SAT transitionOn renamable Horn and generalized Horn functionsSimplest randomK-satisfiability problemOn compliance checking for clausal constraints in annotated process modelsOn the Complexities of Selected Satisfiability and Equivalence Queries over Boolean Formulas and Inclusion Queries over Hulls
P2860
Q34338267-70C126BB-149F-4C16-AE86-3EE284D9B892Q34344831-3CD4C864-A5DC-4EC2-9E59-63F17BE01350Q41791101-3A03C156-5380-4B99-A0EA-50415D382DFEQ51094255-BCC63650-389C-402B-B4CB-B5F2920A48BAQ56288406-715FA82C-5B01-4579-9D12-46F69F0B4484Q56482743-7F4179C4-4A58-489B-AF10-F4981E7F428BQ58001606-5266B1FD-B190-41FF-A6F7-E6E95F0E5618Q58176791-F0F2A343-7A68-42C2-98F8-C838A7D3F4C0Q58646855-A87A4DA2-A523-4BD2-80E6-820249B9C5D8
P2860
A linear-time algorithm for testing the truth of certain quantified boolean formulas
description
1979 nî lūn-bûn
@nan
1979 թուականի Մարտին հրատարակուած գիտական յօդուած
@hyw
1979 թվականի մարտին հրատարակված գիտական հոդված
@hy
1979年の論文
@ja
1979年論文
@yue
1979年論文
@zh-hant
1979年論文
@zh-hk
1979年論文
@zh-mo
1979年論文
@zh-tw
1979年论文
@wuu
name
A linear-time algorithm for testing the truth of certain quantified boolean formulas
@ast
A linear-time algorithm for testing the truth of certain quantified boolean formulas
@en
type
label
A linear-time algorithm for testing the truth of certain quantified boolean formulas
@ast
A linear-time algorithm for testing the truth of certain quantified boolean formulas
@en
prefLabel
A linear-time algorithm for testing the truth of certain quantified boolean formulas
@ast
A linear-time algorithm for testing the truth of certain quantified boolean formulas
@en
P2093
P1476
A linear-time algorithm for testing the truth of certain quantified boolean formulas
@en
P2093
Bengt Aspvall
Michael F. Plass
Robert Endre Tarjan
P304
P356
10.1016/0020-0190(79)90002-4
P577
1979-03-01T00:00:00Z