LEADER 01707oas  2200613 a 450 
001 9910890976503321
005 20251106213014.0
035   $a(DE-599)ZDB2236905-3
035   $a(OCoLC)70106638
035   $a(CONSER)  2009253007
035   $a(CKB)1000000000222821
035   $a(EXLCZ)991000000000222821
100   $a20060614a20059999  uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aJournal on satisfiability, Boolean modeling and computation $eJSAT
210   $aDelft $cTechnische Universiteit Delft
215   $a1 online resource
300   $aRefereed/Peer-reviewed
311 08$a1574-0617 
517 3 $aJSAT
606   $aComputer science$vPeriodicals
606   $aAlgebra, Boolean$vPeriodicals
606   $aInformatique$vPe?riodiques
606   $aAlge?bre de Boole$vPe?riodiques
606   $aAlgebra, Boolean$2fast$3(OCoLC)fst00804924
606   $aComputer science$2fast$3(OCoLC)fst00872451
608   $aPeriodicals.$2fast
615  0$aComputer science
615  0$aAlgebra, Boolean
615  6$aInformatique
615  6$aAlge?bre de Boole
615  7$aAlgebra, Boolean.
615  7$aComputer science.
712 02$aTechnische Universiteit Delft
801  0$bSNM
801  1$bSNM
801  2$bWAU
801  2$bOCLCQ
801  2$bOCLCF
801  2$bCUS
801  2$bOCLCO
801  2$bOCLCQ
801  2$bCUS
801  2$bOCLCL
801  2$bLVT
801  2$bOCLCQ
906   $aJOURNAL
912   $a9910890976503321
996   $aJournal on satisfiability, Boolean modeling and computation$94268527
997   $aUNINA