01707oas 2200613 a 450 991089097650332120251106213014.0(DE-599)ZDB2236905-3(OCoLC)70106638(CONSER) 2009253007(CKB)1000000000222821(EXLCZ)99100000000022282120060614a20059999 uy engur|||||||||||txtrdacontentcrdamediacrrdacarrierJournal on satisfiability, Boolean modeling and computation JSATDelft Technische Universiteit Delft1 online resourceRefereed/Peer-reviewed1574-0617 JSATComputer sciencePeriodicalsAlgebra, BooleanPeriodicalsInformatiquePériodiquesAlgèbre de BoolePériodiquesAlgebra, Booleanfast(OCoLC)fst00804924Computer sciencefast(OCoLC)fst00872451Periodicals.fastComputer scienceAlgebra, BooleanInformatiqueAlgèbre de BooleAlgebra, Boolean.Computer science.Technische Universiteit DelftSNMSNMWAUOCLCQOCLCFCUSOCLCOOCLCQCUSOCLCLLVTOCLCQJOURNAL9910890976503321Journal on satisfiability, Boolean modeling and computation4268527UNINA