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 access

Research article

First published 2011-2

Resolution on Quantified Generalized Clause-sets

Jiwei Jin, Xishun Zhao

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 1996-1

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

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 2020

Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria

Fundamenta Informaticae