5 Result(s)
within
English
Computer Science
Artificial Intelligence
Mathematical Logic and Formal Languages
Yu. Li
Conference Paper
-
Chapter and Conference Paper
A Two-Level Search Strategy for Packing Unequal Circles into a Circle Container
We propose a two-level search strategy to solve a two dimensional circle packing problem. At the first level, a good enough packing algorithm called A1.0 uses a simple heuristic to select the next circle to be pa...
-
Chapter and Conference Paper
Towards Effective Elicitation of NIN-AND Tree Causal Models
To specify a Bayes net (BN), a conditional probability table (CPT), often of an effect conditioned on its n causes, needs assessed for each node. It generally has the complexity exponential on n. Noisy-OR reduces...
-
Chapter and Conference Paper
Exploiting Historical Relationships of Clauses and Variables in Local Search for Satisfiability
Variable properties such as score and age are used to select a variable to flip. The score of a variable x refers to the decrease in the number of unsatisfied clauses if x is flipped. The age of x refers to the n...
-
Chapter and Conference Paper
Satisfying versus Falsifying in Local Search for Satisfiability
During local search, clauses may frequently be satisfied or falsified. Modern SLS algorithms often exploit the falsifying history of clauses to select a variable to flip, together with variable properties such...
-
Chapter and Conference Paper
GRU-Attention Interpretable Knowledge Tracking Model with Forgetting Law for Intelligent Education System
The advent of intelligent education systems and widespread distance learning have revolutionized the educational landscape. Extracting meaningful insights from this wealth of information is crucial for improvi...
