Search results

Articles (3)

Journals (0)

1-3 of 3 results for quantified generalized clause-sets

Sort by:

Relevance

Select all

Sort by:

Relevance

Open accessResearch articleFirst published February, 2011

Resolution on Quantified Generalized Clause-sets

Jiwei Jin, Xishun Zhao

Journal on Satisfiability,Boolean Modelling and Computation

Retricted accessResearch articleFirst published January, 1996

Larry Wesemann, Tijana Hamilton, Steve Tabaie [...]

Transportation Research Record: Journal of the Transportation Research Board

Available accessResearch articleFirst published 2020

Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria

Fundamenta Informaticae

Articles (3)

Journals (0)

1-3 of 3 results for quantified generalized clause-sets

Sort by:

Relevance

Select all

Sort by:

Relevance

Open accessResearch articleFirst published February, 2011

Jiwei Jin, Xishun Zhao

Journal on Satisfiability,Boolean Modelling and Computation

Retricted accessResearch articleFirst published January, 1996

Larry Wesemann, Tijana Hamilton, Steve Tabaie [...]

Transportation Research Record: Journal of the Transportation Research Board

Available accessResearch articleFirst published 2020

Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria

Fundamenta Informaticae