Items where Subject is "03-XX Mathematical logic and foundations > 03Bxx General logic > 03B70 Logic in computer science"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 2.

Buchheim, Christoph and Rinaldi, Giovanni (2009) Terse Integer Linear Programs for Boolean Optimization.
Published in: Journal on Satisfiability, Boolean Modeling and Computation Vol. 6. pp. 121-139.

Ben-Khalifa, Kamel and Motameny, Susanne (2009) Horn representation of a concept lattice.
Published in: International journal of general systems : IJGS ; a comprehensive periodical devoted to general systems ; methodology, applications and education Vol. 38 (4). pp. 469-483.

This list was generated on Wed Aug 23 04:02:41 2017 CEST.